diff --git a/docs/position.synctex.gz b/docs/position.synctex.gz deleted file mode 100644 index ca3027c..0000000 Binary files a/docs/position.synctex.gz and /dev/null differ