diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-07-20 08:53:35 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-07-20 08:53:35 +0200 |
commit | 63e6ffd8dd8412282e1beccb9a01e33aa57c13f0 (patch) | |
tree | f489a0246d74ed4b63c39eff4e6c72f9d5bd862a /doc/release.sh.in | |
parent | d289e0569e0317ffd228d8d0bf9f4a7a7a4fc41c (diff) | |
parent | 1bd65df2de001b173a8d6a08397043225ad115ad (diff) |
Merge branch 'release/debian/0.9.3-1'debian/0.9.3-1
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" |