diff options
Diffstat (limited to 'tex/context/base/buff-ver.mkii')
| -rw-r--r-- | tex/context/base/buff-ver.mkii | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/buff-ver.mkii b/tex/context/base/buff-ver.mkii index c9ad8cbc9..8c2929a4b 100644 --- a/tex/context/base/buff-ver.mkii +++ b/tex/context/base/buff-ver.mkii @@ -60,7 +60,7 @@ \restorecatcodes % also needed when loading during \newpretty \startreadingfile % restore < and > if needed \lowercasestring verb-\prettyidentifier.tex\to\filename - \readsysfile\filename\donothing\donothing + \readsysfile{\filename.mkii}\donothing\donothing \stopreadingfile \stopnointerference}% \doifdefinedelse{setuppretty\prettyidentifier type}% |