> On 15 Aug 2016, at 01:10, Balaco Baco <balacob...@imap.cc> 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. _______________________________________________ help-bison@gnu.org https://lists.gnu.org/mailman/listinfo/help-bison