diff options
Diffstat (limited to 'Doc/Makefile')
-rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index fcac619..83be111 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -168,7 +168,7 @@ LIBFILES = lib.tex \ libuserdict.tex libdis.tex libxmllib.tex libqueue.tex \ liblocale.tex libbasehttp.tex libcopyreg.tex libsymbol.tex libtoken.tex \ libframework.tex libminiae.tex libbinhex.tex libuu.tex libsunaudio.tex \ - libfileinput.tex + libfileinput.tex libimaplib.tex # Library document lib.dvi: tools/indfix.py $(LIBFILES) |