diff options
Diffstat (limited to 'Master/texmf-dist/doc/context/sources/general/manuals/mk/mk-environment.tex')
-rw-r--r-- | Master/texmf-dist/doc/context/sources/general/manuals/mk/mk-environment.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/context/sources/general/manuals/mk/mk-environment.tex b/Master/texmf-dist/doc/context/sources/general/manuals/mk/mk-environment.tex index 3472f3b047e..bcbfa085123 100644 --- a/Master/texmf-dist/doc/context/sources/general/manuals/mk/mk-environment.tex +++ b/Master/texmf-dist/doc/context/sources/general/manuals/mk/mk-environment.tex @@ -8,6 +8,8 @@ \usemodule[timing] +\usemodule[obsolete-tokens] + \useMPlibrary[dum] \dontcomplain |