# HG changeset patch
# User wenzelm
# Date 973802280 -3600
# Node ID 4fd0ce4a38bc8c743e2f1881ef6deb6374169703
# Parent  b5a577a800bcf268d00ba17229150d84f2e8c070
fixed \title: convert "_" to "-";

diff -r b5a577a800bc -r 4fd0ce4a38bc lib/Tools/mkdir
--- 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