doc/en/Makefile: sync from sphinx-quickstart

blueyed · Oct 13, 2020 · b7bef0b · b7bef0b
1 parent 275d542
commit b7bef0b
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/doc/en/Makefile b/doc/en/Makefile
@@ -1,9 +1,10 @@
-# Makefile for Sphinx documentation
+# Minimal makefile for Sphinx documentation
 #
 
-# You can set these variables from the command line.
-SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build
+# You can set these variables from the command line, and also
+# from the environment for the first two.
+SPHINXOPTS    ?=
+SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = .
 BUILDDIR      = _build