generator for phpdox should produce html