diff options
Diffstat (limited to 'tex/context/base/buff-ver.mkiv')
| -rw-r--r-- | tex/context/base/buff-ver.mkiv | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tex/context/base/buff-ver.mkiv b/tex/context/base/buff-ver.mkiv index 7ee11cbab..168de9353 100644 --- a/tex/context/base/buff-ver.mkiv +++ b/tex/context/base/buff-ver.mkiv @@ -568,9 +568,12 @@ {\dodododotypefile{#1}\askedtypingfile} {\showmessage\m!verbatims1{#2}}} -\def\doifelsetypingfile#1% sets \readfilename (we will make this proper mkiv i.e. less messy) +\def\doifelsetypingfile#1% {\edef\askedtypingfile{\locfilename{#1}}% \ifx\askedtypingfile\empty + \edef\askedtypingfile{\locfilename{#1.tex}}% downward compatible + \fi + \ifx\askedtypingfile\empty \expandafter\secondoftwoarguments \else \expandafter\firstoftwoarguments |