diff options
Diffstat (limited to 'doc/context/scripts/mkiv/context.xml')
-rw-r--r-- | doc/context/scripts/mkiv/context.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/context/scripts/mkiv/context.xml b/doc/context/scripts/mkiv/context.xml index d4e0d33c5..cc13bf7df 100644 --- a/doc/context/scripts/mkiv/context.xml +++ b/doc/context/scripts/mkiv/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> |