diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2023-08-30 01:40:14 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2023-08-30 01:40:14 +0200 |
| commit | d4ccbe956a8f7c9679ca4fd0e51b45a4339333ab (patch) | |
| tree | 62c25cb1242760b3d21d6c7aaff8801517968472 /docs/Makefile | |
| parent | 8cf1238181d57504e68f42fa0d4ef66784b197a9 (diff) | |
docs: Don't use unicode quotes in texi export
Re https://lists.gnu.org/archive/html/emacs-devel/2023-08/msg01232.html.
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 a70c87a..97629a2 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -17,6 +17,7 @@ texi: @printf "Generating $(PKG).texi\n" @$(EMACS) $(ORG_ARGS) $(PKG).org $(ORG_EVAL) @printf "\n" >> $(PKG).texi + @sed -i -e 's/“/``/' -e "s/”/''/" $(PKG).texi @rm -f $(PKG).texi~ %.info: %.texi |