Skip to main content

Browse the archive

Revision e27c0208557fb421d29f942e0f75ca86b84c3d7a authored by Mohamed Barakat on 22 March 2017, 14:55:21 UTC, committed by Mohamed Barakat on 23 March 2017, 15:01:23 UTC 
declared and installed todo-lists for morphisms and their image embeddings
 
installed
* INSTALL_TODO_LIST_ENTRIES_FOR_MORPHISMS_AND_IMAGE_EMBEDDINGS
1 parent 2ae2b91
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