doc-src/System/system.tex
changeset 7882 52fb3667f7df
parent 7849 29a2a1d71128
child 8828 5be2d1745c61
--- a/doc-src/System/system.tex	Mon Oct 18 18:38:21 1999 +0200
+++ b/doc-src/System/system.tex	Mon Oct 18 19:43:18 1999 +0200
@@ -27,8 +27,8 @@
 
 \include{basics}
 \include{present}
+\include{misc}
 \include{fonts}
-\include{misc}
 
 \begingroup
   \bibliographystyle{plain} \small\raggedright\frenchspacing