diff options
| author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-04-26 17:57:51 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2019-04-26 17:57:51 +0200 |
| commit | 5444b1728ba7cfc55e85fd3022b6e88c9441327c (patch) | |
| tree | 3009ac597dd206aa4bfaa50725ed6e7542119877 /doc/release.sh.in | |
| parent | 4c6be44409a51e938aa1c9e4d920348d5317a3d2 (diff) | |
| parent | 1920f1b489a54e8ab97a3e24b1bab64831e32b53 (diff) | |
Update upstream source from tag 'upstream/0.9.2'
Update to upstream version '0.9.2'
with Debian dir c23d6b5efa0b01b1b44e112907143c23417ebdd5
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" |