diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2015-04-28 07:57:53 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2015-04-28 07:57:53 +0200 |
commit | 37e3bea32e9078168cd2622dcc976d7d10739088 (patch) | |
tree | 0f8bbb920b628830a4b06154fd4f0f8f09a50577 /doc/release.sh.in | |
parent | c3ccf5e3e6737f81863b085289fd830e732b41f9 (diff) |
Imported Upstream version 0.8.2upstream/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 |