remove "doc" make target and rename "user_doc"

Fixes #2874
This commit is contained in:
Kurtis Rader
2016-03-30 15:35:14 -07:00
parent 7e014174b8
commit 35cee1e39c
3 changed files with 14 additions and 20 deletions

View File

@@ -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"