Comment out the times package in the distributed version.

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index c67b5d2083b2bab247d73b93fb43663bf404f28d..30be8a8696e62bd71c30ecb34fd3741dc50a4a64 100644 (file)
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -421,4 +421,4 @@
 }
 
 % Uncomment the following line to use a PostScript font instead of bitmaps:
-\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}
+%\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}