diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2015-04-28 07:57:55 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2015-04-28 07:57:55 +0200 |
commit | 950148753b2eb4be3f5e63a68b3b3b9f36ea771b (patch) | |
tree | 48d0e21ea28a9d7c862ba2ecc04ac04acb02d567 /doc/release.sh.in | |
parent | 3aa8ef714e64554d4bae7139d8e8df90bf57201e (diff) | |
parent | 37e3bea32e9078168cd2622dcc976d7d10739088 (diff) |
Merge tag 'upstream/0.8.2'
Upstream version 0.8.2
Diffstat (limited to 'doc/release.sh.in')
-rwxr-xr-x | doc/release.sh.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/release.sh.in b/doc/release.sh.in index e344b6b..d970773 100755 --- a/doc/release.sh.in +++ b/doc/release.sh.in @@ -12,13 +12,17 @@ rm -Rf "${distdir}" "${distdir}.zip" "${MAKE}" || exit 1 # Copy -mkdir -p "${distdir}/html" +mkdir -p "${distdir}/html/search" cp \ html/*.css \ html/*.html \ + html/*.js \ + html/*.map \ + html/*.md5 \ html/*.png \ \ "${distdir}/html/" || exit 1 +cp -R html/search/ "${distdir}/html/" || exit 1 # Package zip -r "${distdir}.zip" "${distdir}" || exit 1 |