diff options
Diffstat (limited to 'src/ChezScheme/stex/gifs/Makefile')
| -rw-r--r-- | src/ChezScheme/stex/gifs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ChezScheme/stex/gifs/Makefile b/src/ChezScheme/stex/gifs/Makefile index 4a9abdb547..93c6457597 100644 --- a/src/ChezScheme/stex/gifs/Makefile +++ b/src/ChezScheme/stex/gifs/Makefile @@ -15,7 +15,7 @@ density=-r90x90 ${density} - |\ pnmcrop |\ ppmtogif -transparent white > $*.gif - /bin/rm -f $*.dvi $*.log *.aux + rm -f $*.dvi $*.log *.aux test -f $*.gif && chmod 644 $*.gif all: ${gifs} @@ -44,7 +44,7 @@ ghostRightarrow.gif: Rightarrow.tex giftrans -g '#000000=#ffffff' |\ giftopnm |\ ppmtogif -transparent white > $*.gif - /bin/rm -f Rightarrow.dvi Rightarrow.log Rightarrow.aux + rm -f Rightarrow.dvi Rightarrow.log Rightarrow.aux test -f $*.gif && chmod 644 $*.gif clean: |