# Extract all examples from the manual source. -*- AWK -*-
# This file is part of GNU Bison
-# Copyright 1992, 2000, 2001, 2005 Free Software Foundation, Inc.
+# Copyright 1992, 2000, 2001, 2005, 2006 Free Software Foundation, Inc.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
input = normalize(input);
# No spurious end of line: use printf.
if (files_output[file])
- printf ("%s", input) >> output_dir "/" file;
+ # The parens around the output file seem to be required
+ # by awk on Mac OS X Tiger (darwin 8.4.6).
+ printf ("%s", input) >> (output_dir "/" file);
else
- printf ("%s", input) > output_dir "/" file;
+ printf ("%s", input) > (output_dir "/" file);
close (output_dir "/" file);
files_output[file] = 1;
else
line = "";
+ gsub (/"@value\{VERSION\}"/, "\"" VERSION "\"", line)
gsub (/^@result\{\}/, "", line);
gsub (/^@error\{\}/, "", line);
gsub ("@[{]", "{", line);
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) {