Rename “doc” directory to “docs” #19

New Issue

patrick · 2017-11-15T17:32:39+01:00

patrick commented

2017-11-15 17:32:39 +01:00

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

patrick commented

2017-11-16 17:50:09 +01:00

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.

patrick closed this issue

2017-11-16 17:50:09 +01:00

This repo is archived. You cannot comment on issues.