diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-04-26 17:57:49 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-04-26 17:57:49 +0200 |
commit | 1920f1b489a54e8ab97a3e24b1bab64831e32b53 (patch) | |
tree | 1cdcec7df7eafec396d29e94bc35554c210fb8db /doc/release.sh.in | |
parent | 63b80068976fbc5460c284aef0e6560abcf13e68 (diff) |
New upstream version 0.9.2upstream/0.9.2
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" |