Make Postscript and PDF versions of the documentation.