From 359fc9a6f2039c0f69a3d1191843ed3b7657e0e5 Mon Sep 17 00:00:00 2001 From: Sebastian Ramacher Date: Thu, 8 Oct 2015 21:36:48 +0200 Subject: [PATCH] Update comment Signed-off-by: Sebastian Ramacher --- config.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.mk b/config.mk index 620c25c..92b3016 100644 --- a/config.mk +++ b/config.mk @@ -37,7 +37,7 @@ PKG_CONFIG ?= pkg-config WITH_SQLITE ?= $(shell (${PKG_CONFIG} --atleast-version=3.5.9 sqlite3 && echo 1) || echo 0) # synctex -# To use the embedded copy of the syntex parser set WITH_SYSTEM_SYNCTEX to 0. +# To disable support for synctex with libsynctex set WITH_SYNCTEX to 0. WITH_SYNCTEX ?= $(shell (${PKG_CONFIG} synctex && echo 1) || echo 0) # mimetype detection