diff --git a/For_developers/Sphinx/Makefile b/For_developers/Sphinx/Makefile
index 35924daff101af281519201911ddd28ab142efa9..bf53c49044b0aecc72a6a5c9003041a86b879d54 100644
--- a/For_developers/Sphinx/Makefile
+++ b/For_developers/Sphinx/Makefile
@@ -2,7 +2,7 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    =
+SPHINXOPTS    = -d build_temp
 SPHINXBUILD   = sphinx-build
 SPHINXPROJ    = flex_extract
 SOURCEDIR     = source