--- a/doc-src/LaTeXsugar/Sugar/document/session.tex Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-\input{LaTeXsugar.tex}
-
-\input{OptionalSugar.tex}
-
-\input{Sugar.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End: