summaryrefslogtreecommitdiffstats
path: root/debian/dh-sphinxdoc/install-js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 17:25:44 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 17:25:44 +0000
commite20628db512128d3a5c66360943462b83da5f049 (patch)
treed0c586bb2b3ce26a240c5fb0765982ce87d53816 /debian/dh-sphinxdoc/install-js
parentAdding upstream version 7.2.6. (diff)
downloadsphinx-e20628db512128d3a5c66360943462b83da5f049.tar.xz
sphinx-e20628db512128d3a5c66360943462b83da5f049.zip
Adding debian version 7.2.6-6.debian/7.2.6-6
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/dh-sphinxdoc/install-js')
-rwxr-xr-xdebian/dh-sphinxdoc/install-js22
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/dh-sphinxdoc/install-js b/debian/dh-sphinxdoc/install-js
new file mode 100755
index 0000000..cf4ceac
--- /dev/null
+++ b/debian/dh-sphinxdoc/install-js
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+set -e -u
+
+if [ $# -eq 0 ]
+then
+ printf 'Usage: %s <target-directory>\n' "$0" >&2
+ exit 1
+fi
+
+here="$(dirname "$0")"
+rm -rf "$here/tmp/"
+python3 ./sphinx/cmd/build.py -T -b html "$here" "$here/tmp"
+cp -f "sphinx/themes/bizstyle/static/css3-mediaqueries.js" "$1"
+cp -f "sphinx/themes/scrolls/static/theme_extras.js" "$1"
+cp -f "$here/tmp/_static/doctools.js" "$1"
+cp -f "$here/tmp/_static/language_data.js" "$1"
+cp -f "$here/tmp/_static/sidebar.js" "$1"
+cp -f "$here/tmp/_static/searchtools.js" "$1"
+rm -rf "$here/tmp/"
+
+# vim:ts=4 sw=4 et