[doc] Re: INSTALL document for development versions

[Chuck Hagenbuch]

Quoting Scott Martin <martin@math.ohiou.edu>:

> Here was my motivation behind that renaming. I figured if you rename the
> *.php.dist to *.php, once you update the CVS again, you will have your
> *.php.dist files back if you need them, so that's why I did that. Is that
> what you're referring to?

Why not just copy them? It might be a bit more typing, but then you have the
canonical .dist files along with your copies...

-chuck

--
We are not just cogs in a collective happiness machine.