diff options
Diffstat (limited to 'debian/dh-sphinxdoc/install-js')
| -rwxr-xr-x | debian/dh-sphinxdoc/install-js | 22 |
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 |