Add libpprint.tex to the lib.dvi dependencies.

diff --git a/Doc/Makefile b/Doc/Makefile
index c72485563402c4abba91aa088eb9881a37344f5d..1d6823466e819c1bc23b62acf03ce6b62c06a6be 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -111,7 +111,8 @@ LIBFILES = lib.tex \
     libstat.tex libstrio.tex libundoc.tex libmailcap.tex libglob.tex \
     libuser.tex libanydbm.tex librandom.tex libsite.tex libwhichdb.tex \
     libbase64.tex libfnmatch.tex libquopri.tex libzlib.tex libsocksvr.tex \
-    libmailbox.tex libcommands.tex libcmath.tex libni.tex libgzip.tex
+    libmailbox.tex libcommands.tex libcmath.tex libni.tex libgzip.tex \
+    libpprint.tex
 
 # Library document
 lib.dvi: $(LIBFILES)