diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-02-20 07:40:29 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-02-20 07:40:29 +0100 |
| commit | 70ff06d10cbbff3ebd6e38a5078b5817ac3dc48d (patch) | |
| tree | 2b157ebe6e67dda6fe749ff77e49b8cf4b4ba848 | |
| parent | 026f4f5639db65b4118b57e7912a0b7aa9b88205 (diff) | |
| download | ekdosis-70ff06d10cbbff3ebd6e38a5078b5817ac3dc48d.tar.gz | |
more control over expansion in \note
| -rw-r--r-- | ekdosis.dtx | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index fdd14f3..56a1f89 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -993,11 +993,14 @@ Running "make install" installs the files in the local TeX tree. | |||
| 993 | \options{/note,#1}% | 993 | \options{/note,#1}% |
| 994 | \letoption{/note/pre}\pre@value% | 994 | \letoption{/note/pre}\pre@value% |
| 995 | \letoption{/note/post}\post@value% | 995 | \letoption{/note/post}\post@value% |
| 996 | \append@app{% | 996 | \edef\note@contents{% |
| 997 | \ifoptionvoid{/note/pre}{}{\pre@value}% | 997 | \ifoptionvoid{/note/pre}{}{% |
| 998 | #2% | 998 | \unexpanded\expandafter{\pre@value}}% |
| 999 | \ifoptionvoid{/note/post}{}{\post@value}% | 999 | \unexpanded{#2}% |
| 1000 | } | 1000 | \ifoptionvoid{/note/post}{}{% |
| 1001 | \unexpanded\expandafter{\post@value}}% | ||
| 1002 | }% | ||
| 1003 | \append@app{\note@contents}% | ||
| 1001 | \egroup% | 1004 | \egroup% |
| 1002 | } | 1005 | } |
| 1003 | \NewDocumentCommand{\ekd@note@star}{O{} m}{% | 1006 | \NewDocumentCommand{\ekd@note@star}{O{} m}{% |
| @@ -1006,11 +1009,14 @@ Running "make install" installs the files in the local TeX tree. | |||
| 1006 | \options{/note,#1}% | 1009 | \options{/note,#1}% |
| 1007 | \letoption{/note/pre}\pre@value% | 1010 | \letoption{/note/pre}\pre@value% |
| 1008 | \letoption{/note/post}\post@value% | 1011 | \letoption{/note/post}\post@value% |
| 1009 | \append@app{% | 1012 | \edef\note@contents{% |
| 1010 | \ifoptionvoid{/note/pre}{}{\pre@value}% | 1013 | \ifoptionvoid{/note/pre}{}{% |
| 1011 | \unskip\parnote{#2}% | 1014 | \unexpanded\expandafter{\pre@value}}% |
| 1012 | \ifoptionvoid{/note/post}{}{\post@value}% | 1015 | \unskip\noexpand\parnote{#2}% |
| 1016 | \ifoptionvoid{/note/post}{}{% | ||
| 1017 | \unexpanded\expandafter{\post@value}}% | ||
| 1013 | } | 1018 | } |
| 1019 | \append@app{\note@contents}% | ||
| 1014 | \egroup% | 1020 | \egroup% |
| 1015 | \else | 1021 | \else |
| 1016 | \append@app{\unskip\footnote{#2}}% | 1022 | \append@app{\unskip\footnote{#2}}% |