build.xml
changeset 376 1ce74e992a72
parent 370 0680b6cd90cf
child 404 7af6c89aa795
--- a/build.xml	Thu Jun 17 21:17:42 2010 -0700
+++ b/build.xml	Thu Jun 17 21:31:29 2010 -0700
@@ -41,7 +41,7 @@
         <delete file="${arxivTarFile}"/>
         <delete file="${arxivTarFile}.gz"/>
         <tar destfile="${arxivTarFile}" basedir="." includes="**"
-            excludes="synctex.*,*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/scripts/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.hg/**"
+            excludes="synctex.*,*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/obsolete/**,.hg/**"
         />
         <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/>
         <delete file="${arxivTarFile}"/>