diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-11-17 17:17:35 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-11-17 17:17:35 +0100 |
| commit | 223e4a62bfa539ef913d5e62d82c5a0436b02b73 (patch) | |
| tree | 6c7eb4b0a57f95b097cd6626be4b7beabd28d2d3 /ekdosis.dtx | |
| parent | 53ac6f6cc7ed2374dd032acdfeb5f322ff64510c (diff) | |
| download | ekdosis-223e4a62bfa539ef913d5e62d82c5a0436b02b73.tar.gz | |
fixed needless spaces in apparatus
Diffstat (limited to 'ekdosis.dtx')
| -rw-r--r-- | ekdosis.dtx | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index c285a35..febab2c 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -402,12 +402,12 @@ Running "make install" installs the files in the local TeX tree. | |||
| 402 | \bgroup% | 402 | \bgroup% |
| 403 | |\setRL|\ifcommandkey{alt}{\commandkey{alt}% | 403 | |\setRL|\ifcommandkey{alt}{\commandkey{alt}% |
| 404 | \noteonly{#1}}{#1}% | 404 | \noteonly{#1}}{#1}% |
| 405 | \egroup% | 405 | \egroup{}% |
| 406 | \ifcommandkey{wit}{\commandkey{wit}}{}:}}% | 406 | \ifcommandkey{wit}{ \commandkey{wit}}{}:}}% |
| 407 | {|\obappend|{\ifcommandkey{alt}{\commandkey{alt}% | 407 | {|\obappend|{\ifcommandkey{alt}{\commandkey{alt}% |
| 408 | \noteonly{#1}}{#1}% | 408 | \noteonly{#1}}{#1}% |
| 409 | \ifcommandkey{wit}{\commandkey{wit}}{}:}}% | 409 | \ifcommandkey{wit}{ \commandkey{wit}}{}:}}% |
| 410 | \egroup% | 410 | \egroup{}% |
| 411 | } | 411 | } |
| 412 | % \NewDocumentCommand{\lem}{o +m}{\nonotetrue#2% | 412 | % \NewDocumentCommand{\lem}{o +m}{\nonotetrue#2% |
| 413 | % \nonotefalse\bgroup\inappfalse% | 413 | % \nonotefalse\bgroup\inappfalse% |