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
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
Computing file changes ...