diff --git a/Makefile b/Makefile index 32fb4b28..42371067 100644 --- a/Makefile +++ b/Makefile @@ -31,6 +31,10 @@ check: cd tests && $(MAKE) check cd example && $(MAKE) all +checkall: + cd tests && $(MAKE) checkall + cd example && $(MAKE) all + html: doc doc: README.md doc/depend.png markdown < README.md > README.html