diff options
Diffstat (limited to 'docs/Makefile.sphinx')
| -rw-r--r-- | docs/Makefile.sphinx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile.sphinx b/docs/Makefile.sphinx index ae37a34b54ee..a34f0cc0bad3 100644 --- a/docs/Makefile.sphinx +++ b/docs/Makefile.sphinx @@ -5,7 +5,7 @@ # out-of-tree builds. # You can set these variables from the command line. -SPHINXOPTS = -n -W +SPHINXOPTS = -n -W -v SPHINXBUILD = sphinx-build PAPER = BUILDDIR = _build |