From f33a1422839a43fdb849b24a1d4a681a90f24ca7 Mon Sep 17 00:00:00 2001 From: Charlotte Koch Date: Thu, 17 Aug 2023 10:03:28 -0700 Subject: Sed substitutions to go in a separate file This is the beginnings of the big Unicode conversion table --- script/unicodify.sed | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 script/unicodify.sed (limited to 'script/unicodify.sed') diff --git a/script/unicodify.sed b/script/unicodify.sed new file mode 100644 index 0000000..db49aca --- /dev/null +++ b/script/unicodify.sed @@ -0,0 +1,4 @@ +s,[[:space:]]--[[:space:]],\&\#8212;,g +s,\ï,\&\#239;,g +s,\è,\&\#232;,g +s,\é,\&\#233;,g -- cgit v1.2.3