doc-src/System/system.tex
changeset 7882 52fb3667f7df
parent 7849 29a2a1d71128
child 8828 5be2d1745c61
equal deleted inserted replaced
7881:1b1db39a110b 7882:52fb3667f7df
    25 \maketitle 
    25 \maketitle 
    26 \pagenumbering{roman} \tableofcontents \clearfirst
    26 \pagenumbering{roman} \tableofcontents \clearfirst
    27 
    27 
    28 \include{basics}
    28 \include{basics}
    29 \include{present}
    29 \include{present}
       
    30 \include{misc}
    30 \include{fonts}
    31 \include{fonts}
    31 \include{misc}
       
    32 
    32 
    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