On 15/08/2016 18:26, Balaco Baco wrote: > I installed bison with a DEB package ready for my distro. It does not > have the PDF documentation I mentioned. This seems to be the true for > Debian, Ubuntu and other Debian family distros.
On debian, the package is bison-doc: $ apt-file list bison-doc bison-doc: /usr/share/doc-base/bison bison-doc: /usr/share/doc/bison-doc/bison.pdf.gz bison-doc: /usr/share/doc/bison-doc/changelog.Debian.gz -- Fabien _______________________________________________ help-bison@gnu.org https://lists.gnu.org/mailman/listinfo/help-bison
