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: Jaime E. Villate
Date: Mon, 12 Mar 2007 13:30:40 +0000
On Sun, 2007-03-11 at 20:24 -0700, Robert Dodier wrote:
> This is really the core of the problem. Generating pdf's is now
> broken, and fixing that would take an unknown effort, and it would
> probably get broken again in the near future, as it has often been
> broken in the past.
I can still create maxima.pdf in English, Spanish and Portuguese,
with today's CVS snapshot, using the same method I've used in the
past two years:
make maxima.pdf
rm maxima.aux maxima.pdf
make maxima.pdf
It is a bit hacky and you get some error messages, but in spite of
those messages the PDF file is correctly created.
Whether it is ugly or nice, useless or useful is a different matter.
> Frankly I don't think the effort to maintain the pdf versions is worth
> the trouble.
If you want to, I can take charge of updating those PDF files in the
htdocs section of the repository.
Regards,
Jaime