diff options
Diffstat (limited to 'tex/context/base/type-ini.tex')
-rw-r--r-- | tex/context/base/type-ini.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/context/base/type-ini.tex b/tex/context/base/type-ini.tex index c580399db..e778602ce 100644 --- a/tex/context/base/type-ini.tex +++ b/tex/context/base/type-ini.tex @@ -624,16 +624,16 @@ {\ifundefined{\??tf#2\c!default}% \pushmacro\fontclass \setcurrentfontclass\empty - \pushmacro\@@typescriptone \edef\@@typescriptone {\truetypescript{#2}} + \pushmacro\@@typescriptone \edef\@@typescriptone {\truetypescript{#2}}% \pushmacro\@@typescripttwo \let\@@typescripttwo \empty \pushmacro\@@typescriptthree\let\@@typescriptthree\empty \typescriptfoundfalse - \dododousetypescript{\f!typeprefix pre} + \dododousetypescript{\f!typeprefix pre}% \popmacro\@@typescriptthree \popmacro\@@typescripttwo \popmacro\@@typescriptone \iftypescriptfound \else - \normaldoreadfontdefinitionfile{#1}{#2} + \normaldoreadfontdefinitionfile{#1}{#2}% \fi \setcurrentfontclass\empty \popmacro\fontclass |