diff --git a/doc/scripts/new b/doc/scripts/new index cd1519a9767fffd47dd153791cd97e1c137b5dac..f1c49976633effbf9197021daf269dd4f9cca790 100755 --- a/doc/scripts/new +++ b/doc/scripts/new @@ -1,6 +1,7 @@ #!/bin/sh # generate a blank-ish html file -echo "<h2>" $1 - $2 "</h2>" > $1.html +echo "<!-- $Id: new,v 1.3 2010-03-09 09:31:03 mh17 Exp $ -->" > $1.html +echo "<h2>" $1 - $2 "</h2>" >> $1.html echo "<fieldset> <legend>Summary</legend>" >>$1.html echo "Forthcoming..." >>$1.html echo "</fieldset>" >>$1.html