diff --git a/doc/Makefile b/doc/Makefile
index e57003213b6..b3ffa3021e8 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,7 +2,7 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS      = -T -W --keep-going -j auto
+SPHINXOPTS      = -T -W --keep-going -j auto -v
 SPHINXBUILD     = sphinx-build
 SPHINXAUTOBUILD = sphinx-autobuild
 PAPER           =