doc: style fixes

* doc/bison.texi: Use @kbd where appropriate.
Update ^~~~ marks for caret-errors.
* build-aux/cross-options.pl: Do not add quotes to %define's argument.
This commit is contained in:
Akim Demaille
2019-01-17 19:52:23 +01:00
parent 7a0f681cb8
commit cd1a9f076c
2 changed files with 26 additions and 22 deletions

View File

@@ -48,7 +48,11 @@ while (<STDIN>)
# are strings and have the same syntax as on the command line.
if ($dir_arg eq 'name[=value]')
{
$dir_arg = '@var{name} ["@var{value}"]';
# -D/-F do not add quotes to the argument.
$dir_arg =
$dir eq "%define"
? '@var{name} [@var{value}]'
: '@var{name} ["@var{value}"]';
}
else
{