(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.

diff --git a/examples/extexi b/examples/extexi
index c0f67df..4bd4897 100644 (file)
--- a/examples/extexi
+++ b/examples/extexi
@@ -123,8 +123,11 @@ function normalize(contents,    i, lines, n, line, res) {
 
 
 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) {