diff options
| -rw-r--r-- | Documentation/Makefile.sphinx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 707c65337ebf..91f541a52884 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx | |||
| @@ -55,6 +55,7 @@ loop_cmd = $(echo-cmd) $(cmd_$(1)) | |||
| 55 | 55 | ||
| 56 | quiet_cmd_sphinx = SPHINX $@ --> file://$(abspath $(BUILDDIR)/$3/$4) | 56 | quiet_cmd_sphinx = SPHINX $@ --> file://$(abspath $(BUILDDIR)/$3/$4) |
| 57 | cmd_sphinx = $(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=Documentation/media $2;\ | 57 | cmd_sphinx = $(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=Documentation/media $2;\ |
| 58 | PYTHONDONTWRITEBYTECODE=1 \ | ||
| 58 | BUILDDIR=$(abspath $(BUILDDIR)) SPHINX_CONF=$(abspath $(srctree)/$(src)/$5/$(SPHINX_CONF)) \ | 59 | BUILDDIR=$(abspath $(BUILDDIR)) SPHINX_CONF=$(abspath $(srctree)/$(src)/$5/$(SPHINX_CONF)) \ |
| 59 | $(SPHINXBUILD) \ | 60 | $(SPHINXBUILD) \ |
| 60 | -b $2 \ | 61 | -b $2 \ |