| changeset 978 | a80cc9f9a65b |
| parent 974 | 680b890d2918 |
| 977:f5af4f863a8f | 978:a80cc9f9a65b |
|---|---|
39 |
39 |
40 <target name="arxiv" depends="clean"> |
40 <target name="arxiv" depends="clean"> |
41 <delete file="${arxivTarFile}"/> |
41 <delete file="${arxivTarFile}"/> |
42 <delete file="${arxivTarFile}.gz"/> |
42 <delete file="${arxivTarFile}.gz"/> |
43 <tar destfile="${arxivTarFile}" basedir="." includes="**" |
43 <tar destfile="${arxivTarFile}" basedir="." includes="**" |
44 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/**" |
44 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/**,copyright/**" |
45 /> |
45 /> |
46 <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/> |
46 <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/> |
47 <delete file="${arxivTarFile}"/> |
47 <delete file="${arxivTarFile}"/> |
48 </target> |
48 </target> |
49 |
49 |