lib/scripts/keywords.pl
changeset 24890 5ce94680922e
parent 24886 ce449d6aef3f
child 24905 65830ab42016
--- a/lib/scripts/keywords.pl	Sun Oct 07 13:48:06 2007 +0200
+++ b/lib/scripts/keywords.pl	Sun Oct 07 13:52:16 2007 +0200
@@ -146,6 +146,9 @@
   print <<'EOF';
 <?xml version="1.0"?>
 <!DOCTYPE MODE SYSTEM "xmode.dtd">
+EOF
+  print "<!-- This file was generated from ${sessions} -->\n";
+  print <<'EOF';
 <MODE>
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>