mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-11-08 08:23:24 +00:00
Delete comment "consider using @set for edition number, etc..." since
we now are doing so.
This commit is contained in:
1 parent
3202e65182
commit
0308924772
1 file changed
-2
@@ -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
|
||||
|
||||
Reference in new issue
Block a user