]> git.saurik.com Git - bison.git/commitdiff
projects / bison.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: fae437e)
* doc/bison.texinfo: Properly set the ``header'' part.
authorAkim Demaille <akim@epita.fr>
Tue, 9 Jul 2002 17:01:42 +0000 (17:01 +0000)
committerAkim Demaille <akim@epita.fr>
Tue, 9 Jul 2002 17:01:42 +0000 (17:01 +0000)
Use @dircategory ``GNU programming tools'' as per Texinfo's
documentation.
Use @copying.


No differences found
bison