From 59e9070148f5dbc61187ccab08fd08e2666f1cb4 Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Tue, 12 Nov 1991 15:39:56 +0000
Subject: [PATCH] Renamed mod to lib.

---
 Doc/Makefile | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index b2cf688f7c7..31834d54851 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -1,4 +1,10 @@
 # Makefile for Python documentation.
+# Actually, it is easier to just do:
+#	latex tut
+#	latex tut
+#	latex lib
+#	latex lib
+# (Doing everything twice so the table of contents comes out right!)
 
 LATEX=		latex
 DVIPS=		dvips
@@ -11,12 +17,12 @@ tut:		tut.dvi
 
 tut.dvi tut.ps:	tut.toc tut.tex myformat.sty
 
-mod:		mod.dvi
-		$(TEXPREVIEW) mod
+lib:		lib.dvi
+		$(TEXPREVIEW) lib
 
-mod.dvi mod.ps:	mod.toc mod.tex mod1.tex mod2.tex mod3.tex myformat.sty
+lib.dvi lib.ps:	lib.toc lib.tex lib1.tex lib2.tex lib3.tex myformat.sty
 
-ALL=		tut.ps mod.ps
+ALL=		tut.ps lib.ps
 
 all:		$(ALL)