From 63221124c0319b542a2e53fb9c8e8d44ba0d43a1 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Thu, 12 Feb 1998 03:48:50 +0000
Subject: [PATCH] Comment out the times package in the distributed version.

---
 Doc/myformat.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index c67b5d2083b..30be8a8696e 100644
--- 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.}