diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-04-26 17:58:14 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-04-26 17:58:14 +0200 |
commit | fddb419b78bc873fb6fb9e8dc49c28e5ac5113f1 (patch) | |
tree | 3009ac597dd206aa4bfaa50725ed6e7542119877 /doc/release.sh.in | |
parent | 4c6be44409a51e938aa1c9e4d920348d5317a3d2 (diff) | |
parent | 5444b1728ba7cfc55e85fd3022b6e88c9441327c (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'doc/release.sh.in')
-rwxr-xr-x | doc/release.sh.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/release.sh.in b/doc/release.sh.in index 70a52b4..6a7d09a 100755 --- a/doc/release.sh.in +++ b/doc/release.sh.in @@ -2,14 +2,14 @@ ( cd $(dirname $(which "$0")) || exit 1 -distdir="@PACKAGE@-@VERSION@-doc" +distdir="@PROJECT_NAME@-@PROJECT_VERSION@-doc" [ -z $MAKE ] && MAKE=make # Clean up rm -Rf "${distdir}" "${distdir}.zip" # Generate -"${MAKE}" || exit 1 +"${MAKE}" -C .. doc || exit 1 # Copy mkdir -p "${distdir}/html/search" |