diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2025-11-13 20:12:16 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2025-11-13 20:12:16 +0100 |
| commit | 27c4fa01512cc83dcce0f56c713848c7526083fc (patch) | |
| tree | ca9de2639a91263900993dd305ad8b5e9e2f1f35 | |
| parent | c04d1dc76611b19e3b4c9f63e79a7a02aa320685 (diff) | |
make: Cosmetics
| -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: |