some outputs for easier debugging (a7de09a9) · Commits · CYBER - Cyber Security / TS 103 523 MSP / TLMSP / TLMSP curl

maketgz

+3 −0

Original line number	Diff line number	Diff line
		@@ -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