all: doc

doc: 
	gap makedoc.g

docclean:
	(cd doc ; ./clean)

.PHONY: all doc docclean
