# This can be used directly as a Makefile, with make -f Imakefile

all: errnum.h PHIGSerr.txt

errnum.h:
	awk -f errgen.awk ../phigserr.h > errnum.h

PHIGSerr.txt:
	awk -f errmsgen.awk ../phigserr.h > PHIGSerr.txt

clean:
	rm -f errnum.h PHIGSerr.txt