comparison makeWebGraphics.sh @ 397:4cc820c7cf04

Small cleanup. Remove .eps file once web PDF is generated.
author Jim Hague <jim.hague@acm.org>
date Mon, 02 Sep 2013 10:02:07 +0100
parents b61c39beac5f
children c0130d1ee053
comparison
equal deleted inserted replaced
395:b855c35f1257 397:4cc820c7cf04
33 33
34 # Make the web downloadable PDF with the tune title. 34 # Make the web downloadable PDF with the tune title.
35 abcm2ps -E -F singletuneweb -O $builddir/$name.eps $filename 35 abcm2ps -E -F singletuneweb -O $builddir/$name.eps $filename
36 # And make the corresponding PDF. 36 # And make the corresponding PDF.
37 epstopdf --outfile=$builddir/$name.pdf $builddir/${name}001.eps 37 epstopdf --outfile=$builddir/$name.pdf $builddir/${name}001.eps
38 rm $builddir/${name}.001.eps
38 done 39 done