diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2021-12-15 20:00:07 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2021-12-15 22:36:41 +0100 |
| commit | f4790969fe9ed0084be537ed476e9292d1e92244 (patch) | |
| tree | b6944a0c86615e4b0d865b9f986b57739d66a04d /Makefile | |
| parent | 459e28e28a5f29e4dd59c7d61ec8557ce9b57ef3 (diff) | |
make: Add stats target
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 |