--- a/doc-src/TutorialI/ToyList/document/root.tex Wed Apr 19 14:22:11 2000 +0200 +++ b/doc-src/TutorialI/ToyList/document/root.tex Wed Apr 19 15:27:08 2000 +0200 @@ -1,3 +1,4 @@ \documentclass{article} \begin{document} +xxx \end{document}