diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-01-21 16:51:21 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-01-21 16:51:21 +0100 |
| commit | b59dc3b44c00cd6f9b3943e1697045106dbef092 (patch) | |
| tree | 97a9c9934d7436828df2ae7cc548e228aba49009 /ekdosis.dtx | |
| parent | 6771c58512ecf045ade42dc9ebe836e89c4e2603 (diff) | |
| download | ekdosis-b59dc3b44c00cd6f9b3943e1697045106dbef092.tar.gz | |
make ekdosis environment start line numbering
Diffstat (limited to 'ekdosis.dtx')
| -rw-r--r-- | ekdosis.dtx | 7 |
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> |