CPSAFLAGS = +RTS -M512m -N8 -RTS
CPSATIME = time 

SRCS := $(wildcard *.scm) $(wildcard *.prot) $(wildcard *.lsp)

include ../doc/cpsa4.mk

all:	$(SRCS:%.scm=%_shapes.xhtml) $(SRCS:%.scm=%.xhtml) \
	$(SRCS:%.prot=%_shapes.xhtml) $(SRCS:%.prot=%.xhtml) \
	$(SRCS:%.lsp=%_shapes.xhtml) $(SRCS:%.lsp=%.xhtml)

clean:
	-rm *.txt *.xhtml
