diff --git a/docs/Makefile b/docs/Makefile index c5844c0..d435b98 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)