diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-04-23 12:45:52 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-23 12:45:52 +0200 |
commit | a93925830205df5d06544a059be9c9c79e671ea2 (patch) | |
tree | ec7b14239957fb70724a5891be8eb67b19402929 | |
parent | e47486aa0ab12efcf9bea871902e37e12ddb48f2 (diff) | |
download | ekdosis-a93925830205df5d06544a059be9c9c79e671ea2.tar.gz |
allow any valid unicode char as xml:id
-rw-r--r-- | ekdosis.dtx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 00862b8..1490d4d 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -826,7 +826,8 @@ function ekdosis.getsiglum(str, opt) | |||
826 | ctrl = string.gsub(ctrl, idsRend[i].xmlid.."%,", "") | 826 | ctrl = string.gsub(ctrl, idsRend[i].xmlid.."%,", "") |
827 | end | 827 | end |
828 | end | 828 | end |
829 | if string.find(ctrl, "[A-Za-z0-9]") | 829 | -- if string.find(ctrl, "[A-Za-z0-9]") |
830 | if string.find(ctrl, "%S") | ||
830 | then | 831 | then |
831 | return "<??>" | 832 | return "<??>" |
832 | else | 833 | else |
@@ -922,7 +923,6 @@ end | |||
922 | function ekdosis.textotei(str) | 923 | function ekdosis.textotei(str) |
923 | str = xml_entities(str) | 924 | str = xml_entities(str) |
924 | str = string.gsub(str, "%s?\\par%s?", "</p>\n<p>") | 925 | str = string.gsub(str, "%s?\\par%s?", "</p>\n<p>") |
925 | str = string.gsub(str, "%s?\\unskip%s?", "") | ||
926 | str = lem_rdg_totei(str) | 926 | str = lem_rdg_totei(str) |
927 | str = textotei(str) | 927 | str = textotei(str) |
928 | return str | 928 | return str |