doc: handle 'make htmldocs' warnings as errors
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Sun, 1 Aug 2021 20:11:39 +0000 (22:11 +0200)
committerHeinrich Schuchardt <xypron.glpk@gmx.de>
Sun, 1 Aug 2021 20:23:01 +0000 (22:23 +0200)
commit89a5fbbea1e344fb7e43ce4c547fbdf1ae8d81de
tree2fe702984ed3c7f3ac74a229784238ad0efa5af2
parent5e1df33b68212f2bcafc26fc460e82687cd23927
doc: handle 'make htmldocs' warnings as errors

Parameter -W for sphinx-build turns build warnings into errors. This helps
us to avoid bad patches passing Gitlab CI.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
doc/Makefile