diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-20 22:57:21 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-20 22:57:21 +0200 |
| commit | 9d8bf24b113b2fca049f4aeed49e27a5263ba9a4 (patch) | |
| tree | f04360e9eb687bc0bd2b943484a6c4311cfe4287 /docs/Makefile | |
| parent | 1df14712ba588738c7099a0c723fdecafd594775 (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 16fd1a5..5d2d484 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -28,7 +28,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) |