]> git.saurik.com Git - bison.git/commitdiff
Delete comment "consider using @set for edition number, etc..." since
authorJesse Thilo <jthilo@gnu.org>
Wed, 30 Dec 1998 05:24:00 +0000 (05:24 +0000)
committerJesse Thilo <jthilo@gnu.org>
Wed, 30 Dec 1998 05:24:00 +0000 (05:24 +0000)
we now are doing so.

doc/bison.texinfo

index 89c3f031ec56534f4a28a3246eb7799012336752..e6031de3a558b02b05d9371982b558cc20546987 100644 (file)
@@ -14,8 +14,6 @@
 @c the smallbook format. 
 @c @smallbook
 
-@c next time, consider using @set for edition number, etc...
-
 @c Set following if you have the new `shorttitlepage' command
 @c @clear shorttitlepage-enabled
 @c @set shorttitlepage-enabled