| changeset 690 | 700026bd2470 |
| parent 561 | 77a80f91e214 |
| child 974 | 680b890d2918 |
| 689:5ab2b1b2c9db | 690:700026bd2470 |
|---|---|
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/**,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/**" |
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 |