> On 15 Aug 2016, at 01:10, Balaco Baco <[email protected]> wrote:
> Now that I have built it, I > wonder: was the pdf here all the time? (...) It is not. The folder > /usr/share/doc/bison has no PDF. Install it using (with suitable permissions) ‘make install-pdf’ I think it is. _______________________________________________ [email protected] https://lists.gnu.org/mailman/listinfo/help-bison
