Effort vs usefulness of pdf, was: proposal to omit pdf generation of reference manual
Subject: Effort vs usefulness of pdf, was: proposal to omit pdf generation of reference manual
From: Robert Dodier
Date: Mon, 12 Mar 2007 19:29:30 -0700
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