Hi, this patch would make php with short_tags off and windows users happy :-).
diff -r1.97 configure.in 36c36 < if test "yes" = `echo '<? echo phpversion()>3?"yes":"no"; ?>' | $PHP -q`; then --- > if test "yes" = `echo '<?php echo phpversion()>3?"yes":"no"; ?>' | $PHP -q`; then 189c189,191 < /opt/sgml/lib --- > /opt/sgml/lib \ > ../phpdoc-tools/dsssl \ > phpdoc-tools/dsssl Friedhelm
