You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tlaplus
Has anyone successfully created a single PDF file from the hyperbook?
Leslie Lamport
unread,
Feb 22, 2016, 9:27:11 PM2/22/16
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tlaplus
It is impossible to create a hypertext document using a single pdf file. I do not see enough benefit to a single file to try to create some sort of approximation to hypertext from the Hyperbook. The sources are available on the Web. If anyone wants to devise a mechanism for producing such a version from the sources, I'll be happy to make that version part of the release.
Leslie
On Sunday, February 21, 2016 at 10:37:38 PM UTC-8, dabd wrote:
Markus Alexander Kuppe
unread,
Mar 9, 2016, 4:10:07 AM3/9/16
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tla...@googlegroups.com
On 21.02.2016 20:20, dabd wrote:
> Has anyone successfully created a single PDF file from the hyperbook?
Hi dabd,
I just created a gist [1] of a bash script that generates a single page
pdf from the HyperBook tex sources [2]. Just extract the
hyper-tla-hyperbook.zip, copy runsingle.sh into the directory and run
it. The pdf is not perfect, but good enough for the moment.
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tla...@googlegroups.com
I mentioned the broken permissions to Leslie as they also have problems if you place the Hyperbook in a Dropbox share. He indicated they are obsolete files that should have been removed.