diff options
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/make_tarball.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh index 54398b13..3888f434 100755 --- a/build_tools/make_tarball.sh +++ b/build_tools/make_tarball.sh @@ -32,7 +32,8 @@ rm -f "$path" "$path".gz # git starts the archive git archive --format=tar --prefix="$prefix"/ master > "$path" -# tarball out the documentation +# tarball out the documentation, generate a configure script and version file +autoconf make user_doc make share/man echo $VERSION > version @@ -42,6 +43,7 @@ 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 rm -f "$prefix"/version rm -f "$prefix" |