From: Fred Drake Date: Tue, 13 Jan 1998 17:29:31 +0000 (+0000) Subject: Added command at end to use times fonts; commented out. Instructions to use X-Git-Tag: v1.5.1~980 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8362d005cf70980ed64d84de4b3e39455b737149;p=python 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. --- diff --git a/Doc/myformat.sty b/Doc/myformat.sty index c21e4343d6..4a02d927fd 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.}