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

[Rasmus Lerdorf]

Yes, I would prefer that.

On Sun, 21 Jan 2001, Jim Winstead wrote:

> 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
>