diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -171,7 +171,10 @@ dirclean: clean distclean: dirclean config-clean rm -rf dl +help: + cat README + .SILENT: clean dirclean distclean config-clean download world FORCE: ; -.PHONY: FORCE +.PHONY: FORCE help %: ; |