diff --git a/Doc/Makefile b/Doc/Makefile
index c724855..1d68234 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -111,7 +111,8 @@
     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)