diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-06-18 16:09:22 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-06-18 16:10:54 +0200 |
| commit | 440b33545002e6ce461ba05a4035cdddfeb4380a (patch) | |
| tree | 4235d91cebef02626a467a1a1a350dde02abc940 /docs/Makefile | |
| parent | 755955621b0f5e37ff6c27098ca7dd185c506189 (diff) | |
make: Restore texi kludge
This was accidentally removed in [1: 872b19b0].
1: 2024-06-07 872b19b062653797e997db4907da59315ed16c5b
make: Integrate texi target
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 8341a90..1266b04 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -16,6 +16,7 @@ ORG_EVAL += --funcall org-texinfo-export-to-texinfo %.texi: %.org @printf "Generating $@\n" @$(EMACS) $(ORG_ARGS) $< $(ORG_EVAL) + @sed -i -e 's/“/``/g' -e "s/”/''/g" -e '$$a\' $(PKG).texi #' %.info: %.texi @printf "Generating $@\n" |