build.xml
changeset 974 680b890d2918
parent 690 700026bd2470
child 978 a80cc9f9a65b
--- a/build.xml	Tue Dec 13 13:34:37 2011 -0800
+++ b/build.xml	Tue Dec 13 13:52:26 2011 -0800
@@ -41,7 +41,7 @@
         <delete file="${arxivTarFile}"/>
         <delete file="${arxivTarFile}.gz"/>
         <tar destfile="${arxivTarFile}" basedir="." includes="**"
-            excludes="*.synctex*,*.dvi,*.ps,blob1.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/obsolete/**,diagrams/latex2pdf/**,pnas/**,text/obsolete/**,.hg/**"
+            excludes="*.synctex*,*.dvi,*.ps,blob1.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/obsolete/**,diagrams/latex2pdf/**,pnas/**,text/obsolete/**,.hg/**,versions/**,TODO,referee/**"
         />
         <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/>
         <delete file="${arxivTarFile}"/>