From 2b205520570452cc4b170702ec7fde4133dd1e98 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Tue, 8 Aug 2023 18:18:21 +0200
Subject: tei output: discard maxlines-related commands

---
 ekdosis.dtx | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ekdosis.dtx')

diff --git a/ekdosis.dtx b/ekdosis.dtx
index d701f5d..2eba4f4 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -12016,7 +12016,11 @@ local texpatttotags = {
    {a="\\resetlinenumber%s+", b=""},
    {a="\\ekdresethfmarks%s+", b=""},
    {a="\\indentpattern%s+{(.-)}", b=""},
+   {a="\\localmaxlines%s+{(.-)}", b=""},
+   {a="\\addtomaxlines%s+{(.-)}", b=""},
    {a="\\ekdnohfmarks%s+", b=""},
+   {a="\\setmaxlines%s+{(.-)}", b=""},
+   {a="\\nomaxlines%s+", b=""},
    {a="\\marginnote%s+(%b[])(%b{})(%b[])", b="<note place=\"margin\">ekd@ob%2ekd@cb</note>"},
    {a="\\marginnote%s+(%b{})(%b[])", b="<note place=\"margin\">ekd@ob%1ekd@cb</note>"},
    {a="\\marginnote%s+(%b[])(%b{})", b="<note place=\"margin\">ekd@ob%2ekd@cb</note>"},
-- 
cgit v1.2.3

