Rename 'docs' directory to 'doc'

This seems to be a more common directory name in the projects.
2025-08-02 13:43:38 +02:00 · 2022-01-21 13:49:17 +01:00
parent 385302a487
commit 6ccd1bc2cd
12 changed files with 0 additions and 0 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
--- a/docs/_static/.keepme
+++ b/docs/_static/.keepme
--- a/docs/api/modules.rst
+++ b/docs/api/modules.rst
--- a/docs/api/osc.OscConfigParser.rst
+++ b/docs/api/osc.OscConfigParser.rst
--- a/docs/api/osc.build.rst
+++ b/docs/api/osc.build.rst
--- a/docs/api/osc.conf.rst
+++ b/docs/api/osc.conf.rst
--- a/docs/api/osc.core.rst
+++ b/docs/api/osc.core.rst
--- a/docs/api/osc.credentials.rst
+++ b/docs/api/osc.credentials.rst
--- a/docs/api/osc.util.rst
+++ b/docs/api/osc.util.rst
--- a/docs/api/tutorial.rst
+++ b/docs/api/tutorial.rst
--- a/docs/conf.py
+++ b/docs/conf.py
--- a/docs/index.rst
+++ b/docs/index.rst