docs: Makefile respects variables from environment.

2026-06-30 07:54:03 +08:00 · 2013-07-15 13:57:35 +02:00
parent dc27babee2
commit 7e9ae43ae9
1 changed files with 3 additions and 3 deletions
@@ -2,9 +2,9 @@
 #

 # You can set these variables from the command line.
-SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build
-PAPER         =
+SPHINXOPTS    ?=
+SPHINXBUILD   ?= sphinx-build
+PAPER         ?=

 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4