# Last edited on 2025-02-11 14:34:57 by stolfi

PROG := make_normal_profiles.sh

all: ${PROG}
	mkdir -p out
	${PROG}