# Last edited on 2025-07-26 17:54:38 by stolfi

PROGS :=
  
LIBS := \
  html_gen.py
  
include ${STOLFIHOME}/programs/GENERIC-SCRIPTS.make