lib/scripts/keywords.pl
changeset 29145 b1c6f4563df7
parent 27386 d10ec4969b9f
child 33684 29d8aaeb56e5
     1.1 --- a/lib/scripts/keywords.pl	Sat Dec 20 11:39:34 2008 +0100
     1.2 +++ b/lib/scripts/keywords.pl	Sat Dec 20 11:55:34 2008 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  #
     1.5 -# $Id$
     1.6  # Author: Makarius
     1.7  #
     1.8  # keywords.pl - generate outer syntax keyword files from session logs
     1.9 @@ -79,8 +78,6 @@
    1.10    print ";; Generated from ${sessions}.\n";
    1.11    print ";; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***\n";
    1.12    print ";;\n";
    1.13 -  print ";; \$", "Id\$\n";
    1.14 -  print ";;\n";
    1.15  
    1.16    for my $kind (@kinds) {
    1.17      my @names;
    1.18 @@ -154,7 +151,6 @@
    1.19  EOF
    1.20    print "<!-- Generated from ${sessions}. -->\n";
    1.21    print "<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->\n";
    1.22 -  print "<!-- \$", "Id\$ -->\n";
    1.23    print <<'EOF';
    1.24  <MODE>
    1.25    <PROPS>