
diff -r a35af478aee4 -r cc3d971fe66a doc-src/TutorialI/CodeGen/document/root.tex
--- a/doc-src/TutorialI/CodeGen/document/root.tex	Sat Oct 20 20:23:37 2001 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-\documentclass{article}
-\begin{document}
-xxx
-\end{document}




