Re: Where is old documentation?

[Balaco Baco]

> >>> 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