mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-04-24 10:39:38 +00:00
d810aa3d8f
With texinfo.tex 2019-09-24.13, node names with + are not properly handled. https://lists.gnu.org/r/bug-texinfo/2020-02/msg00004.html * doc/bison.texi: Always use the three-argument form for references to node with a + in the name.