| changeset 974 | 680b890d2918 |
| parent 690 | 700026bd2470 |
| child 978 | a80cc9f9a65b |
| 973:912f4fe57a7e | 974:680b890d2918 |
|---|---|
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/**" |
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/**" |
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 |