File r38/doc/manual2/tail2.tex from the latest check-in
\newpage \addcontentsline{toc}{chapter}{Index}{} \appendix \bibliographystyle{plain} \bibliography{bibl,sl} \printindex \end{document}
\newpage \addcontentsline{toc}{chapter}{Index}{} \appendix \bibliographystyle{plain} \bibliography{bibl,sl} \printindex \end{document}