]> granicus.if.org Git - curl/commitdiff
run 'make clean' before 'make dist' to make sure the HTML files are up-to-date
authorDaniel Stenberg <daniel@haxx.se>
Tue, 21 Aug 2001 09:16:43 +0000 (09:16 +0000)
committerDaniel Stenberg <daniel@haxx.se>
Tue, 21 Aug 2001 09:16:43 +0000 (09:16 +0000)
maketgz

diff --git a/maketgz b/maketgz
index 8c1b98ddf6396c528dbbd1e9ff1c7e2b405a9fad..7d6a553e49860d407fc0ed98050d23a35c55be9c 100755 (executable)
--- a/maketgz
+++ b/maketgz
@@ -76,6 +76,12 @@ else
   automake --include-deps Makefile
 fi
 
+############################################################################
+#
+# Make sure we have updated HTML versions of all man pages:
+#
+make html
+
 ############################################################################
 #
 # Now run make dist