From 05d9c9b849a75c967ba20cc2261e52801750dd7c Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Tue, 21 Aug 2001 09:16:43 +0000 Subject: 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 -- cgit v1.2.3