| changeset 376 | 1ce74e992a72 |
| parent 370 | 0680b6cd90cf |
| child 404 | 7af6c89aa795 |
| 375:faac9ca8f092 | 376:1ce74e992a72 |
|---|---|
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,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/scripts/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.hg/**" |
44 excludes="synctex.*,*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/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 |