mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Treat doc build warnings as errors for CI purposes and correctness.
This commit is contained in:
parent
7450c2df0d
commit
f19fc307b1
@ -4,7 +4,7 @@
|
||||
# You can set these variables from the command line.
|
||||
PYTHON = python
|
||||
SPHINXOPTS =
|
||||
SPHINXBUILD = sphinx-build
|
||||
SPHINXBUILD = sphinx-build -W
|
||||
PAPER =
|
||||
BUILDDIR = _build
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user