Effort vs usefulness of pdf, was: proposal to omit pdf generation of reference manual



On 3/12/07, Jaime E. Villate <villate at fe.up.pt> wrote:

> If you want to, I can take charge of updating those PDF files in the
> htdocs section of the repository.

Please go ahead. Please fix the Makefiles and texi files as necessary
so that make pdf succeeds. Thanks a lot for taking on this task.

Looks like there is enough interest in pdf to continue producing them.
At this point I'll drop the proposal to omit the pdfs.

Robert