changed the value of SPHINXOPTS in makefile

ros-edu · Oct 9, 2017 · 6e2ebdf · 6e2ebdf
1 parent 7e3f48a
commit 6e2ebdf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Makefile b/docs/Makefile
@@ -2,7 +2,7 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    =
+SPHINXOPTS    = -v
 SPHINXBUILD   = python -msphinx
 SPHINXPROJ    = dabitBlockly
 SOURCEDIR     = source