outdated manual downloads

Hi! I looked into the build-hu.log to investigate, why our autogenerated docs are so old (may 14!!!). I thought that it must be some problem in the xml files. But: ============================================================================ ==== >>> running make test ... touch .manual.xml CONFIG_FILES=manual.xml CONFIG_HEADERS= ./config.status creating manual.xml SP_ENCODING=ISO-8859-2 SGMLSCMD -i lang-hu -s /local/mirror/phpdoc/phpdocxml.dcl manual.xml /bin/sh: SGMLSCMD: command not found make: *** [test] Error 127 ============================================================================ ==== Seems that there is some misconfiguration there. Please somebody who is familiar with these things, correct it. Thanks, Goba