build.xml
changeset 350 89e9af0451b1
parent 327 d163ad9543a5
child 361 ee2b42e89bd4
--- a/build.xml	Thu Jun 03 12:33:47 2010 -0700
+++ b/build.xml	Sun Jun 06 09:49:06 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/pdf/**,diagrams/latex2pdf/**,diagrams/*"
+            excludes="*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.hg/**"
         />
         <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/>
         <delete file="${arxivTarFile}"/>