diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2017-01-31 04:57:41 -0500 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-02-01 15:09:45 -0500 |
| commit | 7cabd5ac69a4135fd8dbc1f1bb9c9531a5f1e5c7 (patch) | |
| tree | d34c6ede476124468623685446c78d9f14ef907b | |
| parent | 2a0f4038a4919712a62031dc63aa871a84b4ad05 (diff) | |
doc-rst: fixed cleandoc target when used with O=dir
The cleandocs target won't work if I use a different output folder::
$ make O=/tmp/kernel SPHINXDIRS="process" cleandocs
make[1]: Entering directory '/tmp/kernel'
make[3]: *** No rule to make target 'clean'. Stop.
... Documentation/Makefile.sphinx:100: recipe for target 'cleandocs' failed
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
| -rw-r--r-- | Documentation/Makefile.sphinx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 91f541a52884..b88f666f72bb 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx | |||
| @@ -99,7 +99,7 @@ installmandocs: | |||
| 99 | 99 | ||
| 100 | cleandocs: | 100 | cleandocs: |
| 101 | $(Q)rm -rf $(BUILDDIR) | 101 | $(Q)rm -rf $(BUILDDIR) |
| 102 | $(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) -C Documentation/media clean | 102 | $(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=Documentation/media clean |
| 103 | 103 | ||
| 104 | endif # HAVE_SPHINX | 104 | endif # HAVE_SPHINX |
| 105 | 105 | ||