* doc/bison.texinfo: Properly set the ``header'' part.

Use @dircategory ``GNU programming tools'' as per Texinfo's
documentation.
Use @copying.

ChangeLog

@@ -1,3 +1,10 @@
+2002-07-09  Akim Demaille  <akim@epita.fr>
+
+	* doc/bison.texinfo: Properly set the ``header'' part.
+	Use @dircategory ``GNU programming tools'' as per Texinfo's
+	documentation.
+	Use @copying.
+
 2002-07-09  Akim Demaille  <akim@epita.fr>
 
 	* lib/quotearg.h: Protect against multiple inclusions.

doc/bison.texinfo

@@ -34,46 +34,33 @@
 @end ifinfo
 @comment %**end of header
 
-@ifinfo
+@copying
-@format
-START-INFO-DIR-ENTRY
-* bison: (bison).	GNU Project parser generator (yacc replacement).
-END-INFO-DIR-ENTRY
-@end format
-@end ifinfo
 
-@ifinfo
+This manual is for GNU Bison (version @value{VERSION}, @value{UPDATED}),
-This file documents the Bison parser generator.
+the GNU parser generator.
 
-Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1995, 1998, 1999,
+Copyright @copyright{} 1988, 1989, 1990, 1991, 1992, 1993, 1995, 1998,
-2000, 2001, 2002
+1999, 2000, 2001, 2002 Free Software Foundation, Inc.
-Free Software Foundation, Inc.
 
-Permission is granted to make and distribute verbatim copies of
+@quotation
-this manual provided the copyright notice and this permission notice
+Permission is granted to copy, distribute and/or modify this document
-are preserved on all copies.
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with no
+Invariant Sections, with the Front-Cover texts being ``A GNU Manual,''
+and with the Back-Cover Texts as in (a) below.  A copy of the
+license is included in the section entitled ``GNU Free Documentation
+License.''
 
-@ignore
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
-Permission is granted to process this file through Tex and print the
+this GNU Manual, like GNU software.  Copies published by the Free
-results, provided the printed document carries copying permission
+Software Foundation raise funds for GNU development.''
-notice identical to this one except for the removal of this paragraph
+@end quotation
-(this paragraph not being relevant to the printed manual).
+@end copying
 
-@end ignore
+@dircategory GNU programming tools
-Permission is granted to copy and distribute modified versions of this
+@direntry
-manual under the conditions for verbatim copying, provided also that the
+* bison: (bison).	GNU parser generator (yacc replacement).
-sections entitled ``GNU General Public License'' and ``Conditions for
+@end direntry
-Using Bison'' are included exactly as in the original, and provided that
-the entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
-
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions,
-except that the sections entitled ``GNU General Public License'',
-``Conditions for Using Bison'' and this permission notice may be
-included in translations approved by the Free Software Foundation
-instead of in the original English.
-@end ifinfo
 
 @ifset shorttitlepage-enabled
 @shorttitlepage Bison
@@ -87,41 +74,13 @@ instead of in the original English.
 
 @page
 @vskip 0pt plus 1filll
-Copyright @copyright{} 1988, 1989, 1990, 1991, 1992, 1993, 1995, 1998,
+@insertcopying
-1999, 2000, 2001, 2002
-Free Software Foundation, Inc.
-
 @sp 2
 Published by the Free Software Foundation @*
 59 Temple Place, Suite 330 @*
 Boston, MA  02111-1307  USA @*
 Printed copies are available from the Free Software Foundation.@*
 ISBN 1-882114-44-2
-
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
-
-@ignore
-Permission is granted to process this file through TeX and print the
-results, provided the printed document carries copying permission
-notice identical to this one except for the removal of this paragraph
-(this paragraph not being relevant to the printed manual).
-
-@end ignore
-Permission is granted to copy and distribute modified versions of this
-manual under the conditions for verbatim copying, provided also that the
-sections entitled ``GNU General Public License'' and ``Conditions for
-Using Bison'' are included exactly as in the original, and provided that
-the entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
-
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions,
-except that the sections entitled ``GNU General Public License'',
-``Conditions for Using Bison'' and this permission notice may be
-included in translations approved by the Free Software Foundation
-instead of in the original English.
 @sp 2
 Cover art by Etienne Suvasa.
 @end titlepage
@@ -131,9 +90,7 @@ Cover art by Etienne Suvasa.
 @ifnottex
 @node Top
 @top Bison
-
+@insertcopying
-This manual documents version @value{VERSION} of Bison, updated
-@value{UPDATED}.
 @end ifnottex
 
 @menu