diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-20 06:11:07 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-20 06:12:47 +0200 |
| commit | 70c3f3ade5a94034daf44c6d5d4644c180a484ff (patch) | |
| tree | 548ca5524baecb8cc57ea15268d1948f02acc89b /.gitattributes | |
| parent | 1934304acf6be6da3b44b65630d734cad6de1b03 (diff) | |
| download | bison-70c3f3ade5a94034daf44c6d5d4644c180a484ff.tar.gz | |
doc: avoid Texinfo portability issues
Reported by Bruno Haible.
http://lists.gnu.org/archive/html/bug-bison/2019-05/msg00024.html
Fixed by Karl Berry.
http://lists.gnu.org/archive/html/bug-bison/2019-05/msg00034.html
* doc/bison.texi: Don't specify the langage, rely on the default.
Avoid blank pages.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions