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