diff options
author | Daniel Stenberg <daniel@haxx.se> | 2003-12-12 15:28:04 +0000 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2003-12-12 15:28:04 +0000 |
commit | a7de09a966fb128a304e8aca3eaf3b7ba9631759 (patch) | |
tree | cf1d004070e72559b7ce7de49756610351339f82 | |
parent | 1410deb8f7b184c5f4a02266cdd7c16e51f9a791 (diff) |
some outputs for easier debugging
-rwxr-xr-x | maketgz | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -78,9 +78,11 @@ fi # # Make sure we have updated HTML versions of all man pages: # +echo "make html" make -s html # And the PDF versions +echo "make pdf" make -s pdf ############################################################################ @@ -88,6 +90,7 @@ make -s pdf # Now run make dist to generate a tar.gz archive # +echo "make dist" targz="curl-$version.tar.gz" make -s dist VERSION=$version |