aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-10-03 21:29:37 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-10-03 21:29:37 +0200
commit5f1454b63f4087c75656d103d78214e859354c7f (patch)
tree38279003aa206c4de41f29631f7dd0216207d5be
parentf23360399b1da0876dc6dddcf1c70687101c92db (diff)
downloadekdosis-5f1454b63f4087c75656d103d78214e859354c7f.tar.gz
limit the list of attributes accepted in <rdgGrp> to 'type'
-rw-r--r--ekdosis.dtx16
1 files changed, 8 insertions, 8 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 642ca56..20fbdb3 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -7902,12 +7902,12 @@ local function rdgGrp_totei(str)
7902 function(bkslash, cmd, opt, arg) 7902 function(bkslash, cmd, opt, arg)
7903 opt = string.sub(opt, 2, -2) 7903 opt = string.sub(opt, 2, -2)
7904 arg = string.sub(arg, 2, -2) 7904 arg = string.sub(arg, 2, -2)
7905 teiwit = get_attr_value(opt, "wit") 7905 -- teiwit = get_attr_value(opt, "wit")
7906 if teiwit ~= "" then teiwit = " wit=\""..ekdosis.getsiglum(teiwit, "tei").."\"" else end 7906 -- if teiwit ~= "" then teiwit = " wit=\""..ekdosis.getsiglum(teiwit, "tei").."\"" else end
7907 teisource = get_attr_value(opt, "source") 7907 -- teisource = get_attr_value(opt, "source")
7908 if teisource ~= "" then teisource = " source=\""..ekdosis.getsiglum(teisource, "tei").."\"" else end 7908 -- if teisource ~= "" then teisource = " source=\""..ekdosis.getsiglum(teisource, "tei").."\"" else end
7909 teiresp = get_attr_value(opt, "resp") 7909 -- teiresp = get_attr_value(opt, "resp")
7910 if teiresp ~= "" then teiresp = " resp=\""..ekdosis.getsiglum(teiresp, "tei").."\"" else end 7910 -- if teiresp ~= "" then teiresp = " resp=\""..ekdosis.getsiglum(teiresp, "tei").."\"" else end
7911 teitype = get_attr_value(opt, "type") 7911 teitype = get_attr_value(opt, "type")
7912 if teitype ~= "" then teitype = " type=\""..teitype.."\"" else end 7912 if teitype ~= "" then teitype = " type=\""..teitype.."\"" else end
7913 if opt == "" 7913 if opt == ""
@@ -7915,8 +7915,8 @@ local function rdgGrp_totei(str)
7915 return rdgGrp_totei(string.format("<%s>%s</%s>", 7915 return rdgGrp_totei(string.format("<%s>%s</%s>",
7916 cmd, arg, cmd)) 7916 cmd, arg, cmd))
7917 else 7917 else
7918 return rdgGrp_totei(string.format("<%s%s%s%s%s>%s</%s>", 7918 return rdgGrp_totei(string.format("<%s%s>%s</%s>",
7919 cmd, teiwit, teisource, teiresp, teitype, arg, cmd)) 7919 cmd, teitype, arg, cmd))
7920 end 7920 end
7921 end) 7921 end)
7922 return str 7922 return str