Revision e4ec6413ac56fbc0a61b8b36942c2f038af58944 authored by Mohamed Barakat on 30 March 2017, 12:04:54 UTC, committed by Mohamed Barakat on 30 March 2017, 12:04:54 UTC
1 parent da36bb5
Raw File
makefile
all: doc test

doc: 
	gap makedoc.g

docclean:
	(cd doc ; ./clean)

test:	doc
	gap -b maketest.g

.PHONY: all doc docclean test
back to top