Allow setting sphinxopts via environment variables (-j 8 is fun)

2026-09-24 16:30:27 +08:00 · 2021-01-12 09:29:54 -05:00
parent 8d06cffae4
commit f674613f8f
1 changed files with 1 additions and 1 deletions
@@ -2,7 +2,7 @@
 #

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