diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-09-05 19:47:59 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-09-05 19:47:59 +0200 |
commit | 322a1fb7568916f6d4d5cfba26f5013d17afe8da (patch) | |
tree | 1d42788c2dc2a7198c9e7b59e1b1e657b3ac62c6 /ekdosis.dtx | |
parent | 71b6be7feb4c87ad2d3ac5e650e691d9d8a8b710 (diff) | |
download | ekdosis-322a1fb7568916f6d4d5cfba26f5013d17afe8da.tar.gz |
wrong \add@apparatus in ekdosis environment
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index e0ad7cc..2c2db5d 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -720,7 +720,7 @@ idno={}, msName={}, origDate={}][3]{% | |||
720 | \NewDocumentEnvironment{ekdosis}{+b}{% | 720 | \NewDocumentEnvironment{ekdosis}{+b}{% |
721 | \begin{linenumbers} | 721 | \begin{linenumbers} |
722 | \ifbool{ekd@started}{}% | 722 | \ifbool{ekd@started}{}% |
723 | {\EkdosisStart\add@apparatus}% | 723 | {\EkdosisStart} |
724 | \EkdosisOn#1}{% | 724 | \EkdosisOn#1}{% |
725 | \EkdosisOff | 725 | \EkdosisOff |
726 | \end{linenumbers}% | 726 | \end{linenumbers}% |