diff --git a/Doc/Makefile b/Doc/Makefile
index 4725b27..7501ace 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -162,7 +162,8 @@
     libmailbox.tex libcommands.tex libcmath.tex libni.tex libgzip.tex \
     libpprint.tex libcode.tex libmimify.tex libre.tex libmacic.tex \
     libuserdict.tex libdis.tex libxmllib.tex libqueue.tex \
-    liblocale.tex libbasehttp.tex libcopyreg.tex libsymbol.tex libtoken.tex
+    liblocale.tex libbasehttp.tex libcopyreg.tex libsymbol.tex libtoken.tex \
+    libframework.tex libminiae.tex
 
 # Library document
 lib.dvi: modindex.py indfix.py $(LIBFILES)