From 8362d005cf70980ed64d84de4b3e39455b737149 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Tue, 13 Jan 1998 17:29:31 +0000
Subject: 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.
---
 Doc/myformat.sty | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index c21e434..4a02d92 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.}
-- 
cgit v0.12