# Last edited on 2024-03-30 10:17:05 by stolfi

PROGS := print_file_with_header.csh

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