diff --git a/text-crossrefs.lua b/text-crossrefs.lua index 268b0b5..8f8b73b 100644 --- a/text-crossrefs.lua +++ b/text-crossrefs.lua @@ -414,8 +414,6 @@ local function make_raw_content_tex(refs, ref_type, is_prefixed) return texified_references end ---- TODO : début de section à revoir - local function make_prefix_xml(ref_type, is_plural) local prefix = '' if is_plural then @@ -539,8 +537,6 @@ local function make_references_xml(refs, ref_type, is_prefixed) return references_xml end ---- Fin de section à revoir - local function make_raw_content_xml(refs, ref_type, is_prefixed) local is_enumeration = #refs > 1 local global_prefix = ''