From: Akim Demaille <akim@epita.fr>
Date: Tue, 9 Jul 2002 17:01:42 +0000 (+0000)
Subject: * doc/bison.texinfo: Properly set the ``header'' part.
X-Git-Tag: BISON-1_49b~77
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/fae437e835febad97544793497ebd1a645a4e78b?ds=inline;hp=fae437e835febad97544793497ebd1a645a4e78b

* doc/bison.texinfo: Properly set the ``header'' part.
Use @dircategory ``GNU programming tools'' as per Texinfo's
documentation.
Use @copying.
---