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.
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.