The doc/ and docs/ problem
| From: | Arnaud Limbourg | Date: | Wed, 29 Oct 2003 07:55:24 +0000 |
| Subject: | The doc/ and docs/ problem | ||
| Groups: | php.pear.dev | ||
| Request: | Send a blank email to pear-dev+get-23104@lists.php.net to get a copy of this message | ||
Hi all,
As it has already been pointed out there is a lack of coherence in the way the document directory is named, namely "doc" and "docs".
Would it make sense to you that an admin change all te directory named "doc" to "docs". I personally think docs makes more sense.
In order not to lose CVS history, this should be done on the box directly.
Thoughts ?
Arnaud.