diff --git a/.unison/default.prf b/.unison/default.prf index cf4cce2..28f8bda 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -15,7 +15,7 @@ ignore = Name _build ignore = Name .import # Ignore list files -ignore = Name synctex.gz +ignore = Name *.synctex.gz ignore = Name *.toc ignore = Name *.log ignore = Name *.fls