[PHP-DOC] manual.{html,php} vs. index.{html,php}

[Jim Winstead]

its a simple matter to generate index.* instead of manual.*. any reason
not to just set it up to generate index.*? seems like it would make it a
little easier (less confusing) for people to just drop the generated files
into a server and have it work as expected.

jim