doc-src/Ref/ref.tex

   \bibliographystyle{plain} \small\raggedright\frenchspacing
   \bibliography{../manual}
 \endgroup
 \include{theory-syntax}
 
-\input{ref.ind}
+\printindex
 \end{document}