aboutsummaryrefslogtreecommitdiffhomepage
path: root/build_tools
diff options
context:
space:
mode:
authorGravatar Kurtis Rader <krader@skepticism.us>2016-03-30 15:35:14 -0700
committerGravatar Kurtis Rader <krader@skepticism.us>2016-03-30 19:20:23 -0700
commit35cee1e39c0ca6bd35f2bb0c18ad6ffca5cc7108 (patch)
tree60bbe37119944dfdfd2528603b262d00525fada6 /build_tools
parent7e014174b876308f7a6105d6571f51ab7c2022f0 (diff)
remove "doc" make target and rename "user_doc"
Fixes #2874
Diffstat (limited to 'build_tools')
-rwxr-xr-xbuild_tools/make_tarball.sh2
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"