From 36aa6978a99be5a5327580a81301d5743db72857 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 4 May 2024 13:31:34 +0200 Subject: Adding debian version 5.3.0-4. Signed-off-by: Daniel Baumann --- debian/dh-sphinxdoc/install-js | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 debian/dh-sphinxdoc/install-js (limited to 'debian/dh-sphinxdoc/install-js') 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 \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 -- cgit v1.2.3