diff options
author | Tom Rini <trini@konsulko.com> | 2021-01-23 12:51:37 -0500 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2021-01-23 12:51:37 -0500 |
commit | e716c9022970dac9be15856a6651a07132463578 (patch) | |
tree | 66a90cd9aa9b1461471cc10cdaf4cdc19bb5526a /doc/sphinx/parallel-wrapper.sh | |
parent | 757cec3a0314e88ca90bcc43589a065b7f76a57e (diff) | |
download | u-boot-e716c9022970dac9be15856a6651a07132463578.tar.gz |
Revert "doc: update Kernel documentation build system"
Unfortunately we now see a number of now-fatal warnings about duplicate
labels. It is often unclear how best to re-write the document in
question to not duplicate these otherwise logical headings.
This reverts commit 10a1df3cd43ba2fe893d5dd1aeb2e7109ef0007f.
Signed-off-by: Tom Rini <trini@konsulko.com>
Diffstat (limited to 'doc/sphinx/parallel-wrapper.sh')
-rw-r--r-- | doc/sphinx/parallel-wrapper.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/doc/sphinx/parallel-wrapper.sh b/doc/sphinx/parallel-wrapper.sh deleted file mode 100644 index e54c44ce117..00000000000 --- a/doc/sphinx/parallel-wrapper.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh -# SPDX-License-Identifier: GPL-2.0+ -# -# Figure out if we should follow a specific parallelism from the make -# environment (as exported by scripts/jobserver-exec), or fall back to -# the "auto" parallelism when "-jN" is not specified at the top-level -# "make" invocation. - -sphinx="$1" -shift || true - -parallel="$PARALLELISM" -if [ -z "$parallel" ] ; then - # If no parallelism is specified at the top-level make, then - # fall back to the expected "-jauto" mode that the "htmldocs" - # target has had. - auto=$(perl -e 'open IN,"'"$sphinx"' --version 2>&1 |"; - while (<IN>) { - if (m/([\d\.]+)/) { - print "auto" if ($1 >= "1.7") - } - } - close IN') - if [ -n "$auto" ] ; then - parallel="$auto" - fi -fi -# Only if some parallelism has been determined do we add the -jN option. -if [ -n "$parallel" ] ; then - parallel="-j$parallel" -fi - -exec "$sphinx" $parallel "$@" |