2007-02-27 Paolo Bonzini <bonzini@gnu.org>

[bison.git] / examples / extexi

diff --git a/examples/extexi b/examples/extexi
index 4bd489795f4170ca871b10788e91102c73858cf6..df3fc21cebb05d4bb5dd31d6e1ede38bfb3c9dcf 100644 (file)
--- a/examples/extexi
+++ b/examples/extexi
@@ -1,7 +1,7 @@
 # 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
@@ -77,9 +77,11 @@ BEGIN {
       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;
 
@@ -109,6 +111,7 @@ function normalize(contents,    i, lines, n, line, res) {
        else
          line = "";
 
+      gsub (/"@value\{VERSION\}"/, "\"" VERSION "\"", line)
       gsub (/^@result\{\}/, "", line);
       gsub (/^@error\{\}/,  "", line);
       gsub ("@[{]", "{", line);