doc-src/System/system.tex
changeset 8828 5be2d1745c61
parent 7882 52fb3667f7df
child 9695 ec7d7f877712
equal deleted inserted replaced
8827:5c5c68f4610d 8828:5be2d1745c61
    33 \begingroup
    33 \begingroup
    34   \bibliographystyle{plain} \small\raggedright\frenchspacing
    34   \bibliographystyle{plain} \small\raggedright\frenchspacing
    35   \bibliography{../manual}
    35   \bibliography{../manual}
    36 \endgroup
    36 \endgroup
    37 
    37 
    38 \input{system.ind}
    38 \printindex
    39 
    39 
    40 \end{document}
    40 \end{document}