diff --git a/publish b/publish index 6fc7cbd..603c870 100755 --- a/publish +++ b/publish @@ -25,6 +25,11 @@ rm -f examples/*.pyc cp -R examples build/ cp .htaccess build/ +echo "validating HTML" +for f in *.html; do + python3 util/validate.py "$f" > /dev/null || die "Failed to validate $f" +done + echo "building HTML distribution" htmlbasedir=diveintopython3-r"$revision"-"$today" htmldir=build/"$htmlbasedir" diff --git a/regular-expressions.html b/regular-expressions.html index f384049..5be0d59 100755 --- a/regular-expressions.html +++ b/regular-expressions.html @@ -84,7 +84,6 @@ body{counter-reset:h1 5}

The following are some general rules for constructing Roman numerals: