diff options
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 4285014..0eaf142 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -22,7 +22,7 @@ redo-docs: _ := $(shell test "$(REVDESC)" = "$$(cat .revdesc 2> /dev/null)" ||\ echo "$(REVDESC)" > .revdesc) -%.texi: %.org .revdesc +%.texi: %.org .orgconfig .revdesc @printf "Generating $@\n" @$(EMACS) $(ORG_ARGS) $< $(ORG_EVAL) |