diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/verb-jv.mkii')
| -rw-r--r-- | Master/texmf-dist/tex/context/base/verb-jv.mkii | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/context/base/verb-jv.mkii b/Master/texmf-dist/tex/context/base/verb-jv.mkii index 197b37ee706..ee79e5c03d7 100644 --- a/Master/texmf-dist/tex/context/base/verb-jv.mkii +++ b/Master/texmf-dist/tex/context/base/verb-jv.mkii @@ -22,7 +22,7 @@ %D driver looks much like the \JAVASCRIPT\ one, we don't %D comment it extensively. -\ifx\undefined\setupprettyPLtype \input verb-pl \relax \fi +\ifdefined\setupprettyPLtype \else \loadmarkfile{verb-pl} \fi \unprotect |