Small cleanup. Remove .eps file once web PDF is generated.

2013-09-02 10:02:07 +01:00 · 2013-09-02 10:02:07 +01:00 · f606229dda
parent efa21c08f2
commit f606229dda
1 changed files with 1 additions and 0 deletions
--- a/makeWebGraphics.sh
+++ b/makeWebGraphics.sh
@ -35,4 +35,5 @@ find $booke -name "*.abc" | sort |
        abcm2ps -E -F singletuneweb -O $builddir/$name.eps $filename
        # And make the corresponding PDF.
        epstopdf --outfile=$builddir/$name.pdf $builddir/${name}001.eps
+        rm $builddir/${name}.001.eps
    done