aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-01-21 16:51:21 +0100
committerRobert Alessi <alessi@robertalessi.net>2019-01-21 16:51:21 +0100
commitb59dc3b44c00cd6f9b3943e1697045106dbef092 (patch)
tree97a9c9934d7436828df2ae7cc548e228aba49009
parent6771c58512ecf045ade42dc9ebe836e89c4e2603 (diff)
downloadekdosis-b59dc3b44c00cd6f9b3943e1697045106dbef092.tar.gz
make ekdosis environment start line numbering
-rw-r--r--ekdosis.dtx7
1 files changed, 5 insertions, 2 deletions
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]{%
485 \setbool{ekd@state}{false}% 485 \setbool{ekd@state}{false}%
486} 486}
487\newenvironment{ekdosis}{% 487\newenvironment{ekdosis}{%
488 \EkdosisStart% 488 \begin{linenumbers}
489 \EkdosisOn}{\EkdosisOff} 489 \EkdosisStart%
490 \EkdosisOn}{%
491 \EkdosisOff
492 \end{linenumbers}}
490% \end{macrocode} 493% \end{macrocode}
491% \iffalse 494% \iffalse
492%</package> 495%</package>