Add new files from the Mac user interface breakup.
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)