[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Hyperbook single PDF?
On 21.02.2016 20:20, dabd wrote:
> Has anyone successfully created a single PDF file from the hyperbook?
I just created a gist  of a bash script that generates a single page
pdf from the HyperBook tex sources . 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.