> > 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. This seems to be the true for
Debian, Ubuntu and other Debian family distros.

I compiled it in another machine (at school, used by many others) to
have a better compiling environment, which luckily worked.

-- 
http://www.fastmail.com - IMAP accessible web-mail


_______________________________________________
help-bison@gnu.org https://lists.gnu.org/mailman/listinfo/help-bison

Reply via email to