run 'make clean' before 'make dist' to make sure the HTML files are up-to-date

diff --git a/maketgz b/maketgz
index 8c1b98d..7d6a553 100755 (executable)
--- 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
 #