diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-01-17 19:52:23 +0100 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-01-18 06:55:01 +0100 |
| commit | cd1a9f076c966cc1c3068a2edfac893ba22e6814 (patch) | |
| tree | c1f76197ec7f2152de96ad5ac1eda774e6faffcc /build-aux | |
| parent | 7a0f681cb8ec40bccace0e9c8b9ed903798a5901 (diff) | |
| download | bison-cd1a9f076c966cc1c3068a2edfac893ba22e6814.tar.gz | |
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.
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/cross-options.pl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build-aux/cross-options.pl b/build-aux/cross-options.pl index 3b6289ab..3dce3407 100755 --- a/build-aux/cross-options.pl +++ b/build-aux/cross-options.pl @@ -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 { |