# Last edited on 2024-03-29 23:13:38 by stolfi

PROGS := check_readme_with_dir.sh

include ${STOLFIHOME}/programs/GENERIC-SCRIPTS.make