diff options
Diffstat (limited to 'tex/context/base/core-fil.tex')
| -rw-r--r-- | tex/context/base/core-fil.tex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tex/context/base/core-fil.tex b/tex/context/base/core-fil.tex index 0663a6a8d..b6d535b11 100644 --- a/tex/context/base/core-fil.tex +++ b/tex/context/base/core-fil.tex @@ -257,6 +257,12 @@ \fi #1} +%D Experimental: + +\let\checkpreprocessor\relax + +\appendtoks\relax{\appendtoks \checkpreprocessor \to \everyjob}\to\everydump + %D To be documented and probably moved \def\documentresources{\@@erurl} |