Rename “doc” directory to “docs” #19

Closed
opened 2017-11-15 17:32:39 +01:00 by patrick · 1 comment
Owner

docs seems to be the common name for documentation directories and is the default path, for instance, of GitHub Pages.

`docs` seems to be the common name for documentation directories and is the [default path, for instance, of GitHub Pages](https://github.com/blog/2233-publish-your-project-documentation-with-github-pages).
patrick added this to the plasp 3.1.0 milestone 2017-11-15 17:32:39 +01:00
patrick self-assigned this 2017-11-15 17:32:39 +01:00
patrick added the
aesthetic
task
labels 2017-11-15 17:32:39 +01:00
Author
Owner

Finally, it doesn’t seem to me that docs is the most common directory for documentation.

I also changed my mind, because src, include etc. are all singular, while docs is plural.

Finally, to my mind doc stands for “documentation” and not “documents,” which makes it strange to abbreviate it as docs.

I’ll leave the documentation in doc for now.

Finally, it doesn’t seem to me that `docs` is the most common directory for documentation. I also changed my mind, because `src`, `include` etc. are all singular, while `docs` is plural. Finally, to my mind `doc` stands for “documentation” and not “documents,” which makes it strange to abbreviate it as `docs`. I’ll leave the documentation in `doc` for now.
This repo is archived. You cannot comment on issues.
No Milestone
No Assignees
1 Participants
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

0001-01-01

Dependencies

No dependencies set.

Reference: patrick/plasp#19
No description provided.