Adding debian version 5.3.0-4.debian/5.3.0-4debian

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

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