[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Hyperbook single PDF?

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.

Steve Glaser

On Mar 9, 2016, at 1:09 AM, Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx> wrote:

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.


[1] https://gist.github.com/lemmy/bdd0e9bf6940d6d0af35