diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2022-08-10 14:01:35 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2022-08-10 14:01:35 +0200 |
| commit | 1d5860cfd05d6805018bd071b8f9b56493ba11c6 (patch) | |
| tree | 9bb783873193abc5c9b7c09215fadce4fae62a0e /docs | |
| parent | 14a958d4f2fc932db1c1af30ca405e6570d60e24 (diff) | |
make: Print message for texi target
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 254813d..1e2385b 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -14,6 +14,7 @@ ORG_EVAL += --funcall org-texinfo-export-to-texinfo .PHONY: texi texi: + @printf "Generating $(PKG).texi\n" @$(EMACS) $(ORG_ARGS) $(PKG).org $(ORG_EVAL) @printf "\n" >> $(PKG).texi @rm -f $(PKG).texi~ |