rename 'source' to 'docs'

Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>

.gitignore

@@ -1,4 +1,2 @@
-/source/_build/
-/source/env/
 *.pyc
 *.sw*

Makefile

@@ -3,7 +3,7 @@
 TOP_DIR := $(realpath $(dir $(lastword $(MAKEFILE_LIST))))
 
 # A pip `requirements.txt` file.
-REQUIREMENTS_FILE := requirements.txt
+REQUIREMENTS_FILE := docs/requirements.txt
 
 # A conda `environment.yml` file.
 ENVIRONMENT_FILE := environment.yml
@@ -21,7 +21,7 @@ BUILDDIR      = _build
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4
 PAPEROPT_letter = -D latex_paper_size=letter
-ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
+ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) docs
 
 help:
 	@echo "Please use \`make <target>' where <target> is one of"

docs/.gitignore

@@ -0,0 +1,2 @@
+/_build/
+/env/

environment.yml

@@ -8,4 +8,4 @@ dependencies:
   - pygobject
   - pip
   - pip:
-    - -r requirements.txt
+    - -r docs/requirements.txt

readthedocs.yml

@@ -7,7 +7,7 @@ version: 2
 
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
-  configuration: source/conf.py
+  configuration: docs/conf.py
 
 # Optionally build your docs in additional formats such as PDF and ePub
 formats: []