pdf generation

[adeel]

Is there an existing issue for this?

• I have searched the existing issues

Original problem

It's often useful to have a pdf version of a document, say for printing or saving on your hard drive.

Proposed solution

One possible solution is to add a link at the button of a page that generates a PDF version of that node or section. I imagine it wouldn't be difficult to convert the .md files, e.g. using pandoc, to LaTeX.

Alternatives considered

Printing to pdf is an obvious alternative, but the output would not be as nice as LaTeX.

Additional context

For example, the Stacks Project generates pdf output in addition to the web interface.