# Last edited on 2024-03-29 23:36:50 by stolfi

PROGS := extract_c_function_names.sh

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