diff options
-rw-r--r-- | Doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index c724855..1d68234 100644 --- 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) |