> >>> 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. > > > > I installed bison with a DEB package ready for my distro. It does not > > have the PDF documentation I mentioned. > > The PDF is an installation extra, so it is not produced unless one makes > those extra commands. >
Ok. I just wished to have found this information more easily. That PDF is a file so small, I would vote for it to always exist, always be installed, I bet that no distro would remove it. Thank you very much, -- http://www.fastmail.com - The way an email service should be _______________________________________________ help-bison@gnu.org https://lists.gnu.org/mailman/listinfo/help-bison
