1 files changed, 5 insertions, 5 deletions
diff --git a/docs/Makefile b/docs/Makefile
index a2c926c7ea..21b8a9cbe9 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -2,11 +2,11 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build
-PAPER         =
-BUILDDIR      = _build
-LANGUAGE      =
+SPHINXOPTS    ?=
+SPHINXBUILD   ?= sphinx-build
+PAPER         ?=
+BUILDDIR      ?= _build
+LANGUAGE      ?=
 
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4