doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Thu Jul 26 17:32:28 2012 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu Jul 26 18:55:42 2012 +0200
@@ -64,7 +64,7 @@
 \part{Elementary Techniques}
 \include{basics}
 \include{fp}
-\include{Documents/documents}
+\include{documents}
 
 \part{Logic and Sets}
 \include{Rules/rules}