diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index c21e4343d6f..4a02d927fdb 100644
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -289,3 +289,6 @@
   }
   \pagebreak%
 }
+
+% Uncomment the following line to use a PostScript font instead of bitmaps:
+%\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}