diff options
Diffstat (limited to 'doc/release.sh.in')
| -rwxr-xr-x | doc/release.sh.in | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/release.sh.in b/doc/release.sh.in index 6a7d09a..e1af41b 100755 --- a/doc/release.sh.in +++ b/doc/release.sh.in @@ -14,13 +14,13 @@ rm -Rf "${distdir}" "${distdir}.zip" # Copy mkdir -p "${distdir}/html/search" cp \ - html/*.css \ - html/*.html \ - html/*.js \ - html/*.md5 \ - html/*.png \ - \ - "${distdir}/html/" || exit 1 + html/*.css \ + html/*.html \ + html/*.js \ + html/*.md5 \ + html/*.png \ + \ + "${distdir}/html/" || exit 1 cp -R html/search/ "${distdir}/html/" || exit 1 # Package |