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 | |
| parent | 71b6be7feb4c87ad2d3ac5e650e691d9d8a8b710 (diff) | |
| download | ekdosis-322a1fb7568916f6d4d5cfba26f5013d17afe8da.tar.gz | |
wrong \add@apparatus in ekdosis environment
| -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}% |