sphinx: provide Makefile target 'html_adsy'

Author: Simon Neininger

.gitlab-ci.yml

@@ -14,7 +14,7 @@ make-docs:
   script:
     - rm -rf html
     - rm -rf doc/_build
-    - make SPHINXOPTS="-D html_theme='adsy'" html -C doc
+    - make html_adsy -C doc
     - cp -r doc/_build/html html
   artifacts:
     paths:

doc/Makefile

@@ -23,6 +23,7 @@ I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
 help:
 	@echo "Please use \`make <target>' where <target> is one of"
 	@echo "  html       to make standalone HTML files"
+	@echo "  html_adsy  to make standalone HTML files using adsy theme"
 	@echo "  dirhtml    to make HTML files named index.html in directories"
 	@echo "  singlehtml to make a single large HTML file"
 	@echo "  pickle     to make pickle files"
@@ -57,6 +58,12 @@ html:
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
+.PHONY: html_adsy
+html_adsy:
+	$(SPHINXBUILD) -b html -D html_theme='adsy' $(ALLSPHINXOPTS) $(BUILDDIR)/html
+	@echo
+	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
+
 .PHONY: dirhtml
 dirhtml:
 	$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml

doc/conf.py

@@ -111,6 +111,8 @@
 # The Theme MUST BE AN OPEN SOURCE SPHINX THEME. Contributors outside of
 # Adfinis SyGroup AG must be able to build the documentation.
 # Developers of Adfinis SyGroup AG can build the documentation using
+#   make html_adsy
+#      .. or ..
 #   make SPHINXOPTS="-D html_theme='adsy'" html 
 html_theme = 'sphinx_rtd_theme'