--- a/doc-src/Logics/document/root.tex	Tue Aug 28 16:14:35 2012 +0200
+++ b/doc-src/Logics/document/root.tex	Tue Aug 28 16:18:23 2012 +0200
@@ -39,12 +39,12 @@
 \begin{document}
 \maketitle 
 \pagenumbering{roman} \tableofcontents \clearfirst
-\include{preface}
-\include{syntax}
-\include{LK}
-\include{Sequents}
-%%\include{Modal}
-\include{CTT}
+\input{preface}
+\input{syntax}
+\input{LK}
+\input{Sequents}
+%%\input{Modal}
+\input{CTT}
 \bibliographystyle{plain}
 \bibliography{manual}
 \printindex