diff options
| author | minusf <minusf@gmail.com> | 2013-07-28 19:58:19 +0900 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2013-07-29 06:52:42 -0400 |
| commit | 5f8bf4368d79324f3fa076e1d7e810f53ddf4801 (patch) | |
| tree | 8da323a0d92eca73471fc023b00fd4a944944b0e | |
| parent | c456a277255e1b63ba4dcf6ed894e37ac4f05b63 (diff) | |
[1.6.x] Allowed overriding variables in docs/Makefile.
Backport of c694e6220e from master
| -rw-r--r-- | docs/Makefile | 10 |
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 |