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}
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 5082464..e3e3832 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/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}