diff -r fe9295fcf31d -r ee2b42e89bd4 build.xml
--- a/build.xml	Mon Jun 07 06:01:39 2010 +0200
+++ b/build.xml	Mon Jun 07 22:02:34 2010 -0700
@@ -41,7 +41,7 @@
         <delete file="${arxivTarFile}"/>
         <delete file="${arxivTarFile}.gz"/>
         <tar destfile="${arxivTarFile}" basedir="." includes="**"
-            excludes="*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.hg/**"
+            excludes="synctex.*,*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/scripts/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.hg/**"
         />
         <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/>
         <delete file="${arxivTarFile}"/>