The Coq mailing list

[Jelle Herold <jelle AT defekt.nl>]

Hello,

FWIW, I just committed a very simple bash script that assist in printing
code. It's basically a frontend to coqdoc but deals with temporary files
etc.

https://github.com/0x01/math-classes/blob/master/tools/coqpdf

Drop it in a folder in your path, then run

  coqpdf Foo.v Bar.v SomethingElse.v

and a PDF viewer (evince) pops up with the rendered file; ready for
printing.

ps. You might need to modify coqlibpath or evince to fit your system.