doc: makeinfo wants @arrow{}, not @arrow
commit121dd985087a13537a3464932b797f5923bfd61e
authorAkim Demaille <akim.demaille@gmail.com>
Sun, 12 Jul 2020 06:15:44 +0000 (12 08:15 +0200)
committerAkim Demaille <akim.demaille@gmail.com>
Sun, 12 Jul 2020 06:15:44 +0000 (12 08:15 +0200)
treef86983e5ed942a4315951b8c99108177aa3296a7
parent2eddbd0ac4798af21c010fb048f9c66094ff027d
doc: makeinfo wants @arrow{}, not @arrow

* doc/bison.texi: here.
doc/bison.texi