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

This commit is contained in:
Daniel Stenberg 2001-08-21 09:16:43 +00:00
parent 4c2fb64e21
commit 05d9c9b849
1 changed files with 6 additions and 0 deletions

View File

@ -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