# Last edited on 2024-03-30 05:47:16 by stolfi

PROGS := html_rename_pages.csh

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