From 05d9c9b849a75c967ba20cc2261e52801750dd7c Mon Sep 17 00:00:00 2001
From: Daniel Stenberg <daniel@haxx.se>
Date: Tue, 21 Aug 2001 09:16:43 +0000
Subject: [PATCH] run 'make clean' before 'make dist' to make sure the HTML
 files are up-to-date

---
 maketgz | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/maketgz b/maketgz
index 8c1b98ddf..7d6a553e4 100755
--- 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