]> git.saurik.com Git - bison.git/commitdiff
Handle more general types of option arguments.
authorAkim Demaille <demaille@gostai.com>
Tue, 29 Jul 2008 10:41:48 +0000 (12:41 +0200)
committerAkim Demaille <demaille@gostai.com>
Fri, 7 Nov 2008 20:38:14 +0000 (21:38 +0100)
* build-aux/cross-options.pl: The argument ends at the first
space, not the first non-symbol character.
Use @var for each word appearing the argument description.


No differences found