I’ve been packaging up some little pieces of previously-released software as OPAM packages, hoping that will make them more widely used.
GraphicsPDF is just like Graphics, but it outputs a PDF file of the commands, instead of displaying them on screen.
The development repository is at github
The easiest way to install is through OPAM:
opam install graphicspdf
It was originally described in this blog post some years ago.