diff options
Diffstat (limited to 'makefiles/top.mk')
| -rw-r--r-- | makefiles/top.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/makefiles/top.mk b/makefiles/top.mk index 36df7d3..f41fe9b 100644 --- a/makefiles/top.mk +++ b/makefiles/top.mk @@ -10,6 +10,7 @@ # - target 'distclean' # - target 'test' # - target 'doc' +# - target 'help' .PHONY: all all: @@ -33,3 +34,8 @@ test: all .PHONY: doc doc: cd docs; $(MAKE) -f GNUmakefile doc + +.PHONY: help +help: + @cat makefiles/help.mk + |