On Tue, 30 Jan 2001, Anil Madhavapeddy wrote:
> I had another look at the teTeX patches, and got it to work and build
> the PDF manual 'out of the box', both with and without the 'treesaving'
> option.
>
> I put the manual up here:
>
> http://brick.recoil.org/~avsm/php/
>
> I'll mail out the teTeX patches later on, and hopefully compare them to anyone
> else that has done similar patches, so we can judge what are decent levels to
> place the values at.
Yes, I'm quite interested what you ended up doing. I saw from the PDF that
you are using jadetex/dvipdfm, as I'm too now. I'm not sure if with that
approach it is even necessarily to patch teTeX itself. With pdfjadetex, it
was absolutely necessary. But then, after the manual just grew and grew,
it was not possible anymore to produce bookmarks in the PDF with, don't
know why. Took me a few months to find dvipdfm. BTW, you don't have
bookmarks... see texmf/tex/jadetex/jadetex.ltx, I've got the following
there:
\RequirePackage[implicit=true,hyperindex=false,colorlinks,linkcolor=blue,bookmarks=true,dvipdfm]{hyperref}[2000/03/01]
I prefer these options, the defaults aren't so good... and seems to
consume less resources with hyperindex=false.
> I'll probably set this PDF building nightly from CVS, for myself. Does anyone
> else want this (for the php.net site or anything) ?
It's been on my TODO-list already an eternity... and I always end up doing
something else instead. Last time figuring out how to produce PDF with
ISO-8859-2 character set (needed for the Czech and Hungarian versions).
Problem probably solved :)
-- Jouni
