diff options
Diffstat (limited to 'build_tools/make_tarball.sh')
| -rwxr-xr-x | build_tools/make_tarball.sh | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh index 3888f434..2c3a0ac1 100755 --- a/build_tools/make_tarball.sh +++ b/build_tools/make_tarball.sh @@ -33,17 +33,18 @@ rm -f "$path" "$path".gz git archive --format=tar --prefix="$prefix"/ master > "$path" # tarball out the documentation, generate a configure script and version file -autoconf -make user_doc -make share/man +autoreconf +./configure --with-doxygen +make user_doc share/man echo $VERSION > version cd /tmp rm -f "$prefix" ln -s "$wd" "$prefix" -gnutar --append --file="$path" "$prefix"/user_doc/html -gnutar --append --file="$path" "$prefix"/share/man -gnutar --append --file="$path" "$prefix"/version -gnutar --append --file="$path" "$prefix"/configure +TAR_APPEND="gnutar --append --file=$path --mtime=now --owner=root --group=root --mode=g+w,a+rX" +$TAR_APPEND --no-recursion "$prefix"/user_doc +$TAR_APPEND "$prefix"/user_doc/html "$prefix"/share/man +$TAR_APPEND "$prefix"/version +$TAR_APPEND "$prefix"/configure "$prefix"/config.h.in rm -f "$prefix"/version rm -f "$prefix" |