diff options
| -rw-r--r-- | Doc/Makefile | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/Doc/Makefile b/Doc/Makefile index b72faa30bf..4e48d68502 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -111,7 +111,7 @@ 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 +    libmailbox.tex libcommands.tex  # Library document  lib.dvi: $(LIBFILES) | 
