diff options
Diffstat (limited to 'makefiles/top.mk')
| -rw-r--r-- | makefiles/top.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/makefiles/top.mk b/makefiles/top.mk index 98993f7..36df7d3 100644 --- a/makefiles/top.mk +++ b/makefiles/top.mk @@ -9,6 +9,7 @@ # - target 'clean' # - target 'distclean' # - target 'test' +# - target 'doc' .PHONY: all all: @@ -28,3 +29,7 @@ distclean: clean .PHONY: test test: all @$(MAKE) -C tests test + +.PHONY: doc +doc: + cd docs; $(MAKE) -f GNUmakefile doc |