#! /bin/sh releases="master 1.1.1 1.1.0 1.0.2" log () { echo >&2 "$@" } debug=: if [ "$DEBUG" != "" ]; then debug=log fi for r in $releases; do echo >&2 -n "$r : " for s in 1 3 5 7; do echo >&2 -n $s for f in docs/man$r/man$s/*.html; do $debug -n '.' # Check that it's a rendered manpage if grep -F '