diff options
| author | Tom Rini <[email protected]> | 2020-02-25 09:06:50 -0500 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2020-02-25 09:06:50 -0500 |
| commit | c2358258c2ed3e964138eb7b66dbef5d6ef232ae (patch) | |
| tree | fd6d2d5270bcc2df0736987aea4c8e73782735c6 /doc/Makefile | |
| parent | 8e51bf746a11d7f67416859da73a83109af4e0a3 (diff) | |
| parent | f3957b69fd1d691c0129d3dd3283169056d3c928 (diff) | |
Merge branch '2020-02-24-ci-htmldocs'
- Update our CI loops to run 'make htmldocs' and stop on errors
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 5135a96e88d..0e0da5666f8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -56,6 +56,7 @@ quiet_cmd_sphinx = SPHINX $@ --> file://$(abspath $(BUILDDIR)/$3/$4) PYTHONDONTWRITEBYTECODE=1 \ BUILDDIR=$(abspath $(BUILDDIR)) SPHINX_CONF=$(abspath $(srctree)/$(src)/$5/$(SPHINX_CONF)) \ $(SPHINXBUILD) \ + -W \ -b $2 \ -c $(abspath $(srctree)/$(src)) \ -d $(abspath $(BUILDDIR)/.doctrees/$3) \ |