include the right index sources

diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index 18e535a3061c02e471049e1d0866eed6ac60d3e6..db4f16567863baefd1004238bf2990c06f7ecb8d 100644 (file)
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -3487,11 +3487,11 @@ defined.  The canonical example is the \command{install} command.
 %begin{latexonly}
 \renewcommand{\indexname}{Module Index}
 %end{latexonly}
-\input{modlib.ind}              % Module Index
+\input{moddist.ind}             % Module Index
 
 %begin{latexonly}
 \renewcommand{\indexname}{Index}
 %end{latexonly}
-\input{lib.ind}                 % Index
+\input{dist.ind}                % Index
 
 \end{document}