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