generate and include PDF versions of the docs in the release archive

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