lib/Tools/mkdir

--- a/lib/Tools/mkdir	Sun Jun 13 15:30:58 2004 +0200
+++ b/lib/Tools/mkdir	Sun Jun 13 15:31:11 2004 +0200
@@ -252,13 +252,19 @@
 
 \parindent 0pt\parskip 0.5ex
 
-% include generated text of all theories
+% generated text of all theories
 \input{session}
 
+% optional bibliography
 %\bibliographystyle{abbrv}
 %\bibliography{root}
 
 \end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:
 EOF
 fi