diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/pst-spirograph/animation/runall.sh')
| -rwxr-xr-x | Master/texmf-dist/doc/generic/pst-spirograph/animation/runall.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Master/texmf-dist/doc/generic/pst-spirograph/animation/runall.sh b/Master/texmf-dist/doc/generic/pst-spirograph/animation/runall.sh deleted file mode 100755 index 08fa638fb79..00000000000 --- a/Master/texmf-dist/doc/generic/pst-spirograph/animation/runall.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash -set `dir -R *.tex` -for datei in *.tex -do -# rm -fr *.pdf - echo -n "Runnning file $datei ... " - FILE=`basename $datei .tex` - latex $FILE &> /dev/null - dvips $FILE &> /dev/null - ps2pdf $FILE.ps &> /dev/null - rm -fr $FILE.log $FILE.aux $FILE.ps $FILE.dvi - echo " done" -done |