fixed \title: convert "_" to "-";

--- a/lib/Tools/mkdir	Wed Nov 08 23:04:54 2000 +0100
+++ b/lib/Tools/mkdir	Thu Nov 09 21:38:00 2000 +0100
@@ -188,6 +188,7 @@
     echo "keeping $PWD/document" >&2
   else
     mkdir document || fail "Bad directory: $PWD/document"
+    TITLE=$(echo "$NAME" | tr _ -)
     cat >document/root.tex <<EOF
 
 \documentclass[11pt,a4paper]{article}
@@ -199,7 +200,7 @@
 
 \begin{document}
 
-\title{$NAME}\maketitle
+\title{$TITLE}\maketitle
 \tableofcontents
 
 \parindent 0pt\parskip 0.5ex