diff --git a/maketgz b/maketgz
index 8c1b98ddf6..7d6a553e49 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