# Last edited on 2024-03-30 06:02:01 by stolfi

PROGS := make_thumbs_for_homepage.csh

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