exe update all executables\n\
help this help\n\
install * install programs and data (prefix=$(prefix))\n\
+ uninstall* uninstall programs and data\n\
lib update all libraries\n\
web * update website in directory \`out-www'\n\
web-install * install website documentation in (webdir=$(webdir))\n\
$(MAKE) out=www WWW-1
web-clean:
- find -name out-www | xargs rm -rf
$(MAKE) out=www clean