Skip to main content

Browse the archive

Revision c6c7f123a4f2f2cd7f922dc0b990fd8b4098c1c0 authored by Mohamed Barakat on 23 November 2016, 09:49:43 UTC, committed by Mohamed Barakat on 23 November 2016, 09:49:43 UTC 
Merge remote-tracking branch 'mohamed/master' into devel
 
* mohamed/master:
  Some more cleanup
  Cleaned up tropical
  Cleanup
  Removed old fan method
  Cleanup cones
  PolymakeInterface: Cleanup
  Make PolymakeInterface build and run with post-3.0 polymake
2 parent s 1a9d81a + 602241e
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