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.
I'll probably set this PDF building nightly from CVS, for myself. Does anyone
else want this (for the php.net site or anything) ?
--
Anil Madhavapeddy, <[EMAIL PROTECTED]>