diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-07-13 17:21:34 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-07-13 17:21:34 +0200 |
commit | b821116421f0d942052ad225f4ea62aef2696817 (patch) | |
tree | 36fc7ba6a85e4dc34617f1ff89bbfef288bfa51d /doc/context/sources/general/manuals/mk | |
parent | b4260c7c04f7e82a9987b7bb758040853ebc464e (diff) | |
download | context-b821116421f0d942052ad225f4ea62aef2696817.tar.gz |
2020-07-13 16:31:00
Diffstat (limited to 'doc/context/sources/general/manuals/mk')
-rw-r--r-- | doc/context/sources/general/manuals/mk/mk-environment.tex | 2 | ||||
-rw-r--r-- | doc/context/sources/general/manuals/mk/mk-tokenspeak.tex | 2 |
2 files changed, 3 insertions, 1 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 diff --git a/doc/context/sources/general/manuals/mk/mk-tokenspeak.tex b/doc/context/sources/general/manuals/mk/mk-tokenspeak.tex index 590dbba43..8382f5cfc 100644 --- a/doc/context/sources/general/manuals/mk/mk-tokenspeak.tex +++ b/doc/context/sources/general/manuals/mk/mk-tokenspeak.tex @@ -212,7 +212,7 @@ The result looks like: \ctxlua { tokens.letters("12345"), tokens.egroup, } - tex.printlist (t) + tex.printlist(t) tokens.collectors.show(t) } |