diff options
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~ |