chiark / gitweb /
generate-plag: add an autogeneration comment
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Mar 2019 23:48:22 +0000 (23:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Mar 2019 23:49:01 +0000 (23:49 +0000)
generate-plag

index 28b4437993e07feceaa23b43d0c667e011825b2d..7e95c8272f65b41073bc1028dffe09489d6d97e0 100755 (executable)
@@ -45,6 +45,7 @@ BEGIN { unshift @INC, qw(.); }
 use Parse;
 
 sub output_planar_graph () {
+  o("# autogenerated by generate-plag.  do not edit\n");
   foreach my $ra (sort keys %region) {
     o(plag_prs($ra), "\n");
     if ($ra eq $c{Sea} || $ra =~ m/^L2?$/) { o(" :outer\n"); }