Reverting should finish without warning even if synctex database is
not present.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
utilities/synctex-forward.sh | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/utilities/synctex-forward.sh b/utilities/synctex-forward.sh
index 04bdc14d..f0fb4aa6 100755
--- a/utilities/synctex-forward.sh
+++ b/utilities/synctex-forward.sh
@@ -91,6 +91,12 @@ else
fi
fi
+# skip database check when reverting
+
+if [ `echo $change | grep -c "revert"` -ne 0 ] ; then
+ exit 0
+fi
+
# check if synctex database exists
mainbase="${main%.tex}"
if [ `ls -1 perfbook* | grep -c $mainbase.synctex` -eq 0 ] ; then
--
2.17.1
