aboutsummaryrefslogtreecommitdiff
path: root/maketgz
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2002-10-14 07:39:49 +0000
committerDaniel Stenberg <daniel@haxx.se>2002-10-14 07:39:49 +0000
commite6367abae97f15dd6dca65a493c6037e9e5d47b3 (patch)
treeb63e03ac8b971a41635efe84fd7f057e91e567fb /maketgz
parentfc4d1d9a60d42366c8d79847999da2f25ff27510 (diff)
generate and include PDF versions of the docs in the release archive
Diffstat (limited to 'maketgz')
-rwxr-xr-xmaketgz7
1 files changed, 7 insertions, 0 deletions
diff --git a/maketgz b/maketgz
index 5b7796a6e..615738396 100755
--- a/maketgz
+++ b/maketgz
@@ -35,6 +35,10 @@ mv $HEADER.new $HEADER
# Replace version number in header file:
sed 's/#define CURL_VERSION.*/#define CURL_VERSION "'$curlversion'"/g' $CHEADER >$CHEADER.new
+echo "curl version $curlversion"
+echo "libcurl version $libversion"
+echo "libcurl numerical $numeric"
+
# Save old header file
cp -p $CHEADER $CHEADER.old
@@ -83,6 +87,9 @@ fi
#
make html
+# And the PDF versions
+make pdf
+
############################################################################
#
# Now run make dist to generate a tar.gz archive