Skip to content

Update PDF documentation generation#55

Merged
maranget merged 3 commits into
maranget:masterfrom
cspiel:doc-gen-pdflatex
Dec 21, 2020
Merged

Update PDF documentation generation#55
maranget merged 3 commits into
maranget:masterfrom
cspiel:doc-gen-pdflatex

Conversation

@cspiel

@cspiel cspiel commented Dec 1, 2020

Copy link
Copy Markdown
Contributor

Fix a bug in the generation of version.tex.

Switch from the antiquated path latex -> dvips -> ps2pdf to
calling just pdflatex. Mimick hevea's -fix in the Makefile.

We can bag in some minimal benefits with the microtype package.

The next step would be to introduce hyperref as suggested in #11.
However this requires a trivial but global search/replace/rewrite in
text.tex, which I'd like to postpone until #21 has been merged.

* Indroduce variables for all binaries.
* Make phony targets where possible.
* Rely in automatic variables in recipes.
* Rewrite LaTeX recipe to follow Hevea's `-fix' option.
Change the generation of the PDF version of the manual
from latex -> dvips -> ps2pdf to pdflatex.  Simplify
file "macros.tex" accordingly.

Sort `\usepackage' calls at the top of "text.tex" for more clarity.
Substitute `imakeidx' for `makeidx'.  This allows us to omit the
makeindex call in "Makefile".  Add `lmodern' and `microtype' packages.
Comment thread doc/Makefile Outdated
Avoid ambiguous makefile variable.
@maranget

Copy link
Copy Markdown
Owner

Thanks for this maintenance work.

@maranget maranget merged commit e58d8e3 into maranget:master Dec 21, 2020
@cspiel cspiel deleted the doc-gen-pdflatex branch December 21, 2020 09:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants