| changeset 362 | dd441d743916 |
| parent 361 | ee2b42e89bd4 |
| child 370 | 0680b6cd90cf |
| 356:9bbe6eb6fb6c | 362:dd441d743916 |
|---|---|
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="*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.hg/**" |
44 excludes="synctex.*,*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/scripts/**,diagrams/eps/**,diagrams/latex2pdf/**,diagrams/*,.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 |