From c3a7c6e7cc5771787c35793d483535dd2071d13c Mon Sep 17 00:00:00 2001
From: Luigi Scarso <luigi.scarso@gmail.com>
Date: Thu, 27 Apr 2017 12:55:10 +0000
Subject: [PATCH] Add (see man synctex) to luainit.w
[[Split portion of a mixed commit.]]
---
source/texk/web2c/luatexdir/lua/luainit.w | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/source/texk/web2c/luatexdir/lua/luainit.w b/source/texk/web2c/luatexdir/lua/luainit.w
index c20d02ac6..ff8a3f632 100644
--- a/source/texk/web2c/luatexdir/lua/luainit.w
+++ b/source/texk/web2c/luatexdir/lua/luainit.w
@@ -91,7 +91,7 @@ const_string LUATEX_IHELP[] = {
" --safer disable easily exploitable lua commands",
" --[no-]shell-escape disable/enable system commands",
" --shell-restricted restrict system commands to a list of commands given in texmf.cnf",
- " --synctex=NUMBER enable synctex",
+ " --synctex=NUMBER enable synctex (see man synctex)",
" --utc init time to UTC",
" --version display version and exit",
"",
--
GitLab