Separate Mac user interface modules into separate files, to better support
bookmarkable module sections in the HTML.
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 4aee15b..7702c25 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -201,6 +201,8 @@
 \input{libmactcp}
 \input{libmacspeech}
 \input{libmacui}
+\input{libframework}
+\input{libminiae}
 
 %\input{libstdwin}		% STDWIN ONLY