diff options
| author | Charlotte Koch <dressupgeekout@gmail.com> | 2023-08-17 10:03:28 -0700 |
|---|---|---|
| committer | Charlotte Koch <dressupgeekout@gmail.com> | 2023-08-17 10:03:28 -0700 |
| commit | f33a1422839a43fdb849b24a1d4a681a90f24ca7 (patch) | |
| tree | 292c6092be7cb77084fd72e256544198d0eb0e86 /script | |
| parent | f4f8589d49f4ab946ff9bd5d734418e1d3998935 (diff) | |
Sed substitutions to go in a separate file
This is the beginnings of the big Unicode conversion table
Diffstat (limited to 'script')
| -rw-r--r-- | script/unicodify.sed | 4 |
1 files changed, 4 insertions, 0 deletions
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 |