This little script was buried in Documentation/sphinx/; put it with the
other documentation-related tools.
Signed-off-by: Jonathan Corbet <corbet@xxxxxxx>
---
Documentation/Makefile | 2 +-
{Documentation/sphinx => tools/doc}/parallel-wrapper.sh | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename {Documentation/sphinx => tools/doc}/parallel-wrapper.sh (100%)
diff --git a/Documentation/Makefile b/Documentation/Makefile
index f7b8342f9666..962c4fab94b0 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -91,7 +91,7 @@ quiet_cmd_sphinx = SPHINX $@ --> file://$(abspath $(BUILDDIR)/$3/$4)
PYTHONPYCACHEPREFIX="$(PYTHONPYCACHEPREFIX)" \
BUILDDIR=$(abspath $(BUILDDIR)) SPHINX_CONF=$(abspath $(src)/$5/$(SPHINX_CONF)) \
$(PYTHON3) $(srctree)/scripts/jobserver-exec \
- $(CONFIG_SHELL) $(srctree)/Documentation/sphinx/parallel-wrapper.sh \
+ $(CONFIG_SHELL) $(srctree)/tools/doc/parallel-wrapper.sh \
$(SPHINXBUILD) \
-b $2 \
-c $(abspath $(src)) \
diff --git a/Documentation/sphinx/parallel-wrapper.sh b/tools/doc/parallel-wrapper.sh
similarity index 100%
rename from Documentation/sphinx/parallel-wrapper.sh
rename to tools/doc/parallel-wrapper.sh
--
2.50.1
