Akim Demaille d03ad8b686 gnulib: update ...

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

2018-06-18 07:13:28 +02:00

33 KiB

Executable File

Raw Blame History

View Raw