> can't reproduce this here, so i think (hope) my configure.in patch > from last night has fixed that ...
I was building manual yesterday on my box (before you submitted the patch), and everything was ok. It seems to be broken on php.net's box for few days, since the newest version is dated 05-01-2002. slawek-
