extexi patches to simplify "make maintainer-distcheck" checking

[Paul Eggert]

I installed this:

2005-07-23  Paul Eggert  <address@hidden>

        * examples/extexi (message): Don't print a message more than once,
        and omit line-number decoration that makes Emacs compile think
        that informative messages are worth worrying about.

--- extexi.~1.2.~       2005-07-07 16:16:46.000000000 -0700
+++ extexi      2005-07-23 10:04:12.000000000 -0700
@@ -123,8 +123,11 @@ function normalize(contents,    i, lines
 
 
 function message(msg) {
-  # FNR starts at 0 instead of 1 for line numbers.
-  print "extexi: " FILENAME ":" (FNR + 1) ": " msg > "/dev/stderr";
+  if (! message_printed[msg])
+    {
+      print "extexi: " msg > "/dev/stderr";
+      message_printed[msg] = 1;
+    }
 }
 
 function fatal(msg) {