texi2dvi(phpman.html) - phpMan