Add magic to make PDF generation use maximal compression.

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index b7d3629d421f90412d8f8ea5a910a28bfbb89349..6e6fa6d0aee1ce8746abf07c11a02ceb6397712b 100644 (file)
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -26,6 +26,9 @@
 \RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}
 
 
+% for PDF output, use maximal compression:
+\@ifundefined{pdfannotlink}{}{\pdfcompresslevel=9}
+
 % Increase printable page size (copied from fullpage.sty)
 \topmargin 0pt
 \advance \topmargin by -\headheight