branch: externals/transient
commit 18a58f7f50e52538e7a2226b83f4325e1b0a15af
Author: Jonas Bernoulli <jo...@bernoul.li>
Commit: Jonas Bernoulli <jo...@bernoul.li>
make: Do not needlessly quote every comma in generated texi files
This counters Org commit 39264d3d41213085502dc0c2572f50855ea587a1.
---
docs/Makefile | 3 +++
1 file changed, 3 insertions(+)
diff --git a/docs/Makefile b/docs/Makefile
index d00a7e9992..806376f5dd 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -12,6 +12,9 @@ pdf: $(PKG).pdf
ORG_ARGS = --batch -Q $(ORG_LOAD_PATH)
ORG_EVAL += --eval "(setq indent-tabs-mode nil)"
ORG_EVAL += --eval "(setq org-src-preserve-indentation nil)"
+ORG_EVAL += --eval "\
+(defun org-texinfo--sanitize-content (text)\
+ (replace-regexp-in-string \"[@@{}]\" \"@@\\&\" text))"
ORG_EVAL += --funcall org-texinfo-export-to-texinfo
redo-docs:
