Add basic Makefile

Author: fingolfin

.gitignore

@@ -21,12 +21,3 @@
 /doc/_*.xml
 /doc/title.xml
 /doc/ClassicalMaximals.xml
-
-/bin/
-/gen/
-/Makefile
-
-/tmp/
-/gh-pages/
-
-tags

Makefile

@@ -0,0 +1,16 @@
+.PHONY: doc html clean check
+
+GAP ?= gap
+GAP_ARGS = -q --quitonbreak --packagedirs $(abspath .)
+
+doc:
+	$(GAP) $(GAP_ARGS) makedoc.g -c 'QUIT;'
+
+html:
+	NOPDF=1 $(GAP) $(GAP_ARGS) makedoc.g -c 'QUIT;'
+
+clean:
+	cd doc && rm -f *.{aux,lab,log,dvi,ps,pdf,bbl,ilg,ind,idx,out,html,tex,pnr,txt,blg,toc,six,brf,css,js} _*.xml title.xml
+
+check:
+	$(GAP) $(GAP_ARGS) tst/testall.g