Revision 0a6caa301748efc725958960dbb217b0c2e23509 authored by Sebastian Gutsche on 24 November 2016, 08:45:17 UTC, committed by Sebastian Gutsche on 24 November 2016, 08:45:17 UTC
1 parent 924d97e
makefile
all: doc test
doc: doc/manual.six
doc/manual.six: makedoc.g maketest.g ListOfDocFiles.g \
PackageInfo.g \
doc/IO_ForHomalg.bib doc/*.xml \
gap/*.gd gap/*.gi
gap makedoc.g
clean:
(cd doc ; ./clean)
test: doc
gap -b maketest.g
Computing file changes ...