SOURCES=$(wildcard TXT/*.P)
DEST=$(addprefix HTML/,$(addsuffix .HTML,$(basename $(notdir $(SOURCES)))))
all : $(DEST)

HTML/%.HTML : TXT/%.P
	./GEN.SH '$<' '$@'

clean :
	rm -f HTML/*
