aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-11-17 17:17:35 +0100
committerRobert Alessi <alessi@robertalessi.net>2018-11-17 17:17:35 +0100
commit223e4a62bfa539ef913d5e62d82c5a0436b02b73 (patch)
tree6c7eb4b0a57f95b097cd6626be4b7beabd28d2d3
parent53ac6f6cc7ed2374dd032acdfeb5f322ff64510c (diff)
downloadekdosis-223e4a62bfa539ef913d5e62d82c5a0436b02b73.tar.gz
fixed needless spaces in apparatus
-rw-r--r--ekdosis.dtx8
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%