Index: ChangeLog
from  Akim Demaille  <address@hidden>
	* examples/extexi: Enforce the precedence of concatenation over
	>>.
	Reported by   address@hidden

+2006-05-11  Akim Demaille  <address@hidden>
+
 	* data/lalr1.cc (yytranslate_): Rename token as t to avoid clashes
 	with the member "token".
 	Reported by Martin Nylin.
Index: THANKS
===================================================================
RCS file: /cvsroot/bison/bison/THANKS,v
retrieving revision 1.64
diff -u -r1.64 THANKS
--- THANKS 11 May 2006 06:21:18 -0000 1.64
+++ THANKS 11 May 2006 11:33:55 -0000
@@ -71,6 +71,7 @@
 Tim Van Holder            address@hidden
 Tom Lane                  address@hidden
 Tom Tromey                address@hidden
+Tommy Nordgren		  address@hidden
 Troy A. Johnson           address@hidden
 Vin Shelton               address@hidden
 Wayne Green               address@hidden
Index: examples/extexi
===================================================================
RCS file: /cvsroot/bison/bison/examples/extexi,v
retrieving revision 1.5
diff -u -r1.5 extexi
--- examples/extexi 1 Oct 2005 07:20:32 -0000 1.5
+++ examples/extexi 11 May 2006 11:33:55 -0000
@@ -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 @@
       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;