From b59dc3b44c00cd6f9b3943e1697045106dbef092 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Mon, 21 Jan 2019 16:51:21 +0100
Subject: make ekdosis environment start line numbering

---
 ekdosis.dtx | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'ekdosis.dtx')

diff --git a/ekdosis.dtx b/ekdosis.dtx
index c2cf964..d08ea28 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -485,8 +485,11 @@ choice nolem={false,,true}][1]{%
   \setbool{ekd@state}{false}%
 }
 \newenvironment{ekdosis}{%
-  \EkdosisStart%
-  \EkdosisOn}{\EkdosisOff}
+  \begin{linenumbers}
+    \EkdosisStart%
+    \EkdosisOn}{%
+    \EkdosisOff
+  \end{linenumbers}}
 %    \end{macrocode}
 % \iffalse
 %</package>
-- 
cgit v1.2.3