> On 18 Jun 2018, at 07:14, Akim Demaille <a...@lrde.epita.fr> wrote: > >> Le 2 juin 2018 à 19:08, Hans Åberg <haber...@telia.com> a écrit : >> >>> On 28 May 2018, at 07:33, Akim Demaille <a...@lrde.epita.fr> wrote: >>> >>> We are happy to announce the release of GNU Bison 3.0.5, a bug fix >>> release. >> >> There is a bug in 'make install-pdf', because in the directories po/ and >> runtime-po/, the Makefile does not have it, terminating before reaching the >> doc/ directory. A workaround is to add such a rule. > > Fixed in master.
Great, as the install may not checked when testing. May I call your attention to the UTF-8 translation problem in the error messages of the named identifiers [1-2], which probably requires someone well acquainted with the Bison code to fix: From what I can see, Bison uses set_quoting_style (qo, c_quoting_style); to ensure that certain names are translated into C-string literals, and relies on that this function is an idempotent, i.e., for some strings, it is applied more than once, others not. In addition, the argument c_quoting_style causes octets with the high bit set to become translated with a backslash, with perhaps has to do with a way to handle the POSIX C locale, which make me wonder how UTF-8 is handled there, too. 1. http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00063.html 2. http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00063.html