From 5944c36d5598db663df1af74e212662843eb0dc1 Mon Sep 17 00:00:00 2001
From: Bartosz Leper <bl.nero@gmail.com>
Date: Wed, 24 Jun 2015 01:14:59 +0200
Subject: [PATCH] Update .gitignore

---
 help/manual/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/help/manual/.gitignore b/help/manual/.gitignore
index 4c0ef4d0..a0bdface 100644
--- a/help/manual/.gitignore
+++ b/help/manual/.gitignore
@@ -3,3 +3,4 @@
 *.out
 *.toc
 *.pdf
+*.synctex.gz