> 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.