diff options
| -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% |