diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -14,6 +14,7 @@ help: $(info make html - generate html manual file) $(info make html-dir - generate html manual directory) $(info make pdf - generate pdf manual) + $(info make stats - generate statistics) $(info make publish - publish snapshot manuals) $(info make release - publish release manuals) $(info make clean - remove most generated files) @@ -40,6 +41,9 @@ html-dir: pdf: @$(MAKE) -C docs pdf +stats: + @$(MAKE) -C docs stats + publish: @$(MAKE) -C docs publish |