search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.37k stars 315 forks source link

Build PDF version #672

Open wenkokke opened 2 years ago

wenkokke commented 2 years ago

The current build script no longer builds the PDF. However, it should be easy to adapt the task that builds the EPUB into a task that generates one massive LaTeX file, using the old LaTeX template.

anadon commented 2 years ago

The solution here might also serve as a solution to #720

dimpase commented 1 year ago

If this is done, it should be easy to host the resulting pdf.

I'm actually surprised that the html build is not going this route - using htlatex as the last step, TeX->html.

wenkokke commented 1 year ago

There's no LaTeX in the book source, so what good would that do?

dimpase commented 1 year ago

Well, could you (in the past?) generate such a TeX file? (perhaps I don't understand what "old LaTeX template" is)

wenkokke commented 1 year ago

We compiled to LaTeX in the past, using a LaTeX template (a la Pandoc). However, the primary format of PLFA is HTML. LaTeX is secondary. Therefore, generating the HTML via htlatex would be suboptimal.

dimpase commented 1 year ago

TeX does a very good job of typesetting; besides, PDF may be used as (or converted to) an epub (which would alleviate the issue of epub breaking now and then)

wenkokke commented 1 year ago

Please elaborate on the methods for converting PDFs to accessible EPUBs, and what the advantages are over compiling from HTML to EPUB (which is also HTML).

dimpase commented 1 year ago

I don't know much about accessible epubs.

But currently if your devices (e.g. they only do Google's Play Books stuff) won't take your epub, you're SOL. If a PDF was available, it would be helpful. In particular as Google's Play Books accepts PDFs, and converts them to epubs (or one can just use a PDF reader).

wenkokke commented 1 year ago

I don't know much about accessible epubs.

But currently if your devices (e.g. they only do Google's Play Books stuff) won't take your epub, you're SOL. If a PDF was available, it would be helpful. In particular as Google's Play Books accepts PDFs, and converts them to epubs (or one can just use a PDF reader).

Converting PDF to EPUB is a terribly lossy operation.

You're free to resurrect the code that once built the PDF version; it's still in the Git history. That is the purpose of this issue page.