diff options
Diffstat (limited to 'tex/context/base/x-set-11.tex')
| -rw-r--r-- | tex/context/base/x-set-11.tex | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/tex/context/base/x-set-11.tex b/tex/context/base/x-set-11.tex index 739c07ccf..9c24ae53d 100644 --- a/tex/context/base/x-set-11.tex +++ b/tex/context/base/x-set-11.tex @@ -383,7 +383,17 @@ \let\plaatssetup \placesetup \let\plaatselkesetup\placeeverysetup -\def\dosetup#1{{\enableXML\flushXMLelement{stp:#1}}} +\bgroup \catcode`\<=\active + +\gdef\dosetup#1% + {\bgroup + \def<<##1>>{##1}% + \edef\ascii{#1}% + \enableXML + \expanded{\flushXMLelement{stp:\ascii}}% + \egroup} + +\egroup \defineXMLenvironment [cd:command] [name=,type=,generated=,interactive=] {} |