On Thu, 25 Sep 2003, Mehdi wrote:
> To ask him to run the build from a fresh checkout of the documentation
> next time :)
uhm, it was... I made a fresh checkout before building it. (Last build
date is 21 August 2003).
Derick
--
"Interpreting what the GPL actually means is a job best left to those
that read the future by examining animal entrails."
-------------------------------------------------------------------------
Derick Rethans http://derickrethans.nl/
International PHP Magazine http://php-mag.net/
-------------------------------------------------------------------------
