diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-20 22:57:27 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-20 22:57:27 +0200 |
| commit | 5294361942ff099f9ecea4266d6e4fc9a8c4226d (patch) | |
| tree | ad951c68bf11b34153294c7dbc9dec95a47fe8d7 /docs/Makefile | |
| parent | b88e4a2bc6e85b9ef3cd93e217052b84f2a09c6b (diff) | |
make: Make .orgconfig a prerequisite of %.texi
Diffstat (limited to 'docs/Makefile')
| -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) |