diff -r 92f0dac39ce3 -r 6c624cd07beb build.xml
--- a/build.xml	Mon Jun 14 07:46:41 2010 +0200
+++ b/build.xml	Mon Jun 14 22:12:45 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}"/>