summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 273fb45..8d48512 100644
--- a/Makefile
+++ b/Makefile
@@ -30,4 +30,10 @@ perltidy:
done
dist: all
+ @for file in htdocs/footer.html htdocs/whatsnew.html \
+ httpd/cgi-bin/check share/templates/*/footer.tmpl ; do \
+ grep -qF "$(VERSION)" $$file || { \
+ echo "Validator version in $$file seems out of date." ; \
+ exit 1 ; } ; \
+ done
misc/mkrelease.sh $(VERSION)