--- a/doc-src/System/system.tex Mon Sep 15 19:43:10 2008 +0200
+++ b/doc-src/System/system.tex Mon Sep 15 20:22:38 2008 +0200
@@ -38,7 +38,7 @@
\input{Thy/document/Basics}
\input{Thy/document/Presentation}
-\input{misc}
+\input{Thy/document/Misc}
\appendix
\let\int\intorig