diff --git a/doc/Makefile b/doc/Makefile index a07db810d5d..c9276d1575b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS ?= -q SPHINXBUILD = sphinx-build PAPER = BUILDDIR = _build