diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-02-20 19:44:44 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-02-20 19:44:44 +0100 |
| commit | e2e5367e1259dc26656ccecaa155f60ee7addd4a (patch) | |
| tree | 061941336792e0974e1537199167792c750e49d5 | |
| parent | 70ff06d10cbbff3ebd6e38a5078b5817ac3dc48d (diff) | |
| download | ekdosis-e2e5367e1259dc26656ccecaa155f60ee7addd4a.tar.gz | |
removed spurious space in \note
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 56a1f89..927866e 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -1015,7 +1015,7 @@ Running "make install" installs the files in the local TeX tree. | |||
| 1015 | \unskip\noexpand\parnote{#2}% | 1015 | \unskip\noexpand\parnote{#2}% |
| 1016 | \ifoptionvoid{/note/post}{}{% | 1016 | \ifoptionvoid{/note/post}{}{% |
| 1017 | \unexpanded\expandafter{\post@value}}% | 1017 | \unexpanded\expandafter{\post@value}}% |
| 1018 | } | 1018 | }% |
| 1019 | \append@app{\note@contents}% | 1019 | \append@app{\note@contents}% |
| 1020 | \egroup% | 1020 | \egroup% |
| 1021 | \else | 1021 | \else |