--- a/build.xml Mon Jun 07 18:14:11 2010 +0200
+++ b/build.xml Mon Jun 07 22:02:40 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}"/>