Makefile

2018-01-27 21:27:13 +01:00 · 2018-01-27 21:27:13 +01:00 · 7db85bd470
commit 7db85bd470
parent 0598c398ad
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,5 +1,5 @@
 SRC=${wildcard *.tex}
-OPT=--pdf
+OPT=--pdf --synctex

 all: main.pdf