# HG changeset patch
# User wenzelm
# Date 972331792 -7200
# Node ID c50fc8023ac08cd0600769ff4c697b35cf93b96e
# Parent  0df0bbd7e32439a9c97ad191629c88935af21158
make sure default document works;

diff -r 0df0bbd7e324 -r c50fc8023ac0 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Mon Oct 23 22:09:21 2000 +0200
+++ b/lib/Tools/mkdir	Mon Oct 23 22:09:52 2000 +0200
@@ -198,6 +198,8 @@
 \isabellestyle{it}
 
 \begin{document}
+\title{$NAME}\maketitle
+\tableofcontents
 \input{session}
 \end{document}