mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 12:23:04 +00:00
Fixes the `make install-pdf` problem reported by Hans Åberg in http://lists.gnu.org/archive/html/bug-bison/2018-06/msg00000.html that had already been fixed by Joel E. Denny in http://lists.gnu.org/archive/html/bug-bison/2012-04/msg00011.html Final fix in http://lists.gnu.org/archive/html/bug-gnulib/2018-06/msg00019.html