diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 806376f..74085b7 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,6 +1,8 @@ -include ../config.mk include ../default.mk +.PHONY: stats + docs: texi info html html-dir pdf texi: $(PKG).texi @@ -94,9 +96,8 @@ release: redo-docs @aws cloudfront create-invalidation --distribution-id $(CFRONT_DIST) --paths \ "$(subst $(space),$(comma),$(addprefix $(RELEASE_PATH),$(CFRONT_PATHS)))" > /dev/null -.PHONY: stats stats: - @printf "Generating statistics\n" + @printf "Generating statistics...\n" @$(GITSTATS) $(GITSTATS_ARGS) $(TOP) $(GITSTATS_DIR) stats-upload: |