diff options
author | Kurtis Rader <krader@skepticism.us> | 2016-03-30 15:35:14 -0700 |
---|---|---|
committer | Kurtis Rader <krader@skepticism.us> | 2016-03-30 19:20:23 -0700 |
commit | 35cee1e39c0ca6bd35f2bb0c18ad6ffca5cc7108 (patch) | |
tree | 60bbe37119944dfdfd2528603b262d00525fada6 /build_tools | |
parent | 7e014174b876308f7a6105d6571f51ab7c2022f0 (diff) |
remove "doc" make target and rename "user_doc"
Fixes #2874
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/make_tarball.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh index 4f02411b..1e24de0f 100755 --- a/build_tools/make_tarball.sh +++ b/build_tools/make_tarball.sh @@ -37,7 +37,7 @@ git archive --format=tar --prefix="$prefix"/ HEAD > "$path" # Don't run autoheader since configure.ac runs it. autoconf is enough. autoconf ./configure --with-doxygen -make user_doc share/man +make doc share/man echo $VERSION > version cd /tmp rm -f "$prefix" |