Revision 988556d3cb02429c1af91373f3a357bf8461eda5 authored by Mohamed Barakat on 15 March 2022, 14:08:59 UTC, committed by GitHub on 15 March 2022, 14:08:59 UTC
don't issue a warning if `utils` is not loaded
2 parent s e980e62 + a19d180
Raw File
makefile
all: doc

doc: doc/manual.six

doc/manual.six: makedoc.g \
		PackageInfo.g \
		gap/*.gd gap/*.gi examples/*.g
	        gap makedoc.g

docclean:
	(cd doc ; ./clean)

.PHONY: all doc docclean
back to top