aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2001-08-21 09:16:43 +0000
committerDaniel Stenberg <daniel@haxx.se>2001-08-21 09:16:43 +0000
commit05d9c9b849a75c967ba20cc2261e52801750dd7c (patch)
tree0df6a12db29271f677b17092bdf2d8b1778f13de
parent4c2fb64e215cde4d11d523a81284783c5dadb016 (diff)
run 'make clean' before 'make dist' to make sure the HTML files are up-to-date
-rwxr-xr-xmaketgz6
1 files changed, 6 insertions, 0 deletions
diff --git a/maketgz b/maketgz
index 8c1b98ddf..7d6a553e4 100755
--- a/maketgz
+++ b/maketgz
@@ -78,6 +78,12 @@ fi
############################################################################
#
+# Make sure we have updated HTML versions of all man pages:
+#
+make html
+
+############################################################################
+#
# Now run make dist
#