errors: indent "user token number redeclaration" context

[bison.git] / examples / extexi

diff --git a/examples/extexi b/examples/extexi
index df3fc21cebb05d4bb5dd31d6e1ede38bfb3c9dcf..01f6cf26ef28c372d38dd3e8517922dd4049276a 100644 (file)
--- a/examples/extexi
+++ b/examples/extexi
@@ -1,11 +1,13 @@
 # Extract all examples from the manual source.            -*- AWK -*-
 
 # This file is part of GNU Bison
-# Copyright 1992, 2000, 2001, 2005, 2006 Free Software Foundation, Inc.
+
+# Copyright (C) 1992, 2000-2001, 2005-2006, 2009-2012 Free Software
+# Foundation, Inc.
 #
-# This program is free software; you can redistribute it and/or modify
+# 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
-# the Free Software Foundation; either version 2 of the License, or
+# the Free Software Foundation, either version 3 of the License, or
 # (at your option) any later version.
 #
 # This program is distributed in the hope that it will be useful,
@@ -14,9 +16,7 @@
 # GNU General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
-# 02111-1307  USA
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 # This script is for use with any Awk that conforms to POSIX.
 # It was derived from a similar script tests/generate.awk in GNU m4.