Merge branch 'docs' into 'master'

adds CI documentation builder

See merge request gwinc/pygwinc!27

.gitignore

@@ -9,6 +9,8 @@ __pycache__/
 #vim temporaries
 .*.swp
 .*.swo
+
+#emacs temporaries
 .#*
 
 # Backups

.gitlab-ci.yml

@@ -45,6 +45,13 @@ pages:
   - mv Voyager.png public/
   - mv aLIGO_test.png public/ || true
   - mv A+_test.png public/ || true
+  - apt-get install -y -qq python3-pip python3-dev make
+  - pip3 install sphinx sphinx-rtd-theme
+  - cd docs
+  - make html
+  - cd ..
+  - mv ./build/sphinx/html/* public/
+
   artifacts:
     paths:
     - public

docs/conf.py

@@ -32,7 +32,6 @@
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 extensions = [
-    'nbsphinx',
     'sphinx.ext.autodoc',
     'sphinx.ext.todo',
     'sphinx.ext.coverage',