Added command at end to use times fonts; commented out. Instructions to use

times are there as well. Doing it here means the switch only affects one file and gets everything rebuilt as needed.
1998-01-13 17:29:31 +00:00 · 1998-01-13 17:29:31 +00:00 · 8362d005cf
parent 95810e4d18
commit 8362d005cf
1 changed files with 3 additions and 0 deletions
--- 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.}