make CI fail on docs build error

Also fixes some errors in the docs
kokkos · May 2, 2024 · f2126dc · f2126dc
1 parent 724ea63
commit f2126dc
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line, and also
 # from the environment for the first two.
-SPHINXOPTS    ?=
+SPHINXOPTS    ?= -W --keep-going
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = .
 BUILDDIR      = _build

diff --git a/docs/api/core.rst b/docs/api/core.rst
@@ -2,7 +2,7 @@ Core
 ====
 
 .. list-table:: MPI API Support
-    :widths: 20 30 15
+    :widths: 40 30 15
     :header-rows: 1
 
     * - MPI
@@ -31,7 +31,6 @@ Core
     * - MPI_Reduce
       - reduce
       - ✓
-      - ✓
 
 Point-to-point
 --------------

diff --git a/docs/conf.py b/docs/conf.py
@@ -24,4 +24,3 @@
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 html_theme = 'sizzle'
-html_static_path = ['_static']