docs: use makefile on CI to fix sphinx dates

ibis-project · Jan 12, 2022 · 9a451d3 · 9a451d3
1 parent 6a8f424
commit 9a451d3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ibis-docs-lint.yml b/.github/workflows/ibis-docs-lint.yml
@@ -75,7 +75,7 @@ jobs:
 
       - name: build docs
         working-directory: ibis
-        run: nix-shell --pure --run 'sphinx-build -b html docs/source docs/web/docs -W -T'
+        run: nix-shell --pure --run 'make -C docs html BUILDDIR=web/docs'
 
       - name: build website
         working-directory: ibis

diff --git a/docs/Makefile b/docs/Makefile
@@ -2,7 +2,7 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    =
+SPHINXOPTS    = -W -T -j auto
 SPHINXBUILD   = sphinx-build
 PAPER         =
 BUILDDIR      = build
@@ -52,9 +52,9 @@ clean:
 	rm -rf source/generated
 
 html:
-	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
+	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)
 	@echo
-	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
+	@echo "Build finished. The HTML pages are in $(BUILDDIR)."
 
 dirhtml:
 	$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml