Produce a pdf rahter than an info page

Targets #351.

The initial setup may still lack a view bits (e.g. inclusion of LaTeX packages).
Okay, got it.

Strange that the CI does not build it.