Makefile
changeset 3107 f7494ae35248
parent 3106 a634c95910f8
child 3180 13be4ea042d6
--- a/Makefile	Tue Jun 29 21:33:20 2010 +0300
+++ b/Makefile	Tue Jun 29 21:42:45 2010 +0300
@@ -30,4 +30,10 @@
 	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)