changeset 10423 | 4fd0ce4a38bc |
parent 10353 | b1b3f25750f4 |
child 10511 | efb3428c9879 |
--- 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