Add module index before the general index.
diff --git a/Doc/lib.tex b/Doc/lib.tex
index 5082464..e3e3832 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -224,6 +224,10 @@
 
 \input{libundoc}
 
+\renewcommand{\indexname}{Module Index}
+\input{modules.ind}		% Module Index
+
+\renewcommand{\indexname}{Index}
 \input{lib.ind}			% Index
 
 \end{document}