diff options
| author | Hans Hagen <pragma@wxs.nl> | 2021-10-11 00:26:56 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2021-10-11 00:26:56 +0200 |
| commit | b2db36adbd89b2dba9591da5fc13b4eba57d581e (patch) | |
| tree | fa1dd5b5b89dc4e56cf3aaf05d45e9b078f51d22 /scripts | |
| parent | 778f381ba6a448ab00d67994a412dd4226d43238 (diff) | |
| download | context-b2db36adbd89b2dba9591da5fc13b4eba57d581e.tar.gz | |
2021-10-10 23:42:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-context.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-context.xml b/scripts/context/lua/mtx-context.xml index d4e0d33c5..cc13bf7df 100644 --- a/scripts/context/lua/mtx-context.xml +++ b/scripts/context/lua/mtx-context.xml @@ -148,7 +148,7 @@ <short>never initializes synctex (for production runs)</short> </flag> <flag name="synctex"> - <short>run with synctex enabled (better use \setupsynctex[state=start]</short> + <short>run with synctex enabled (better use \setupsynctex[state=start])</short> </flag> </subcategory> <subcategory> |