You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
55 lines
1.6 KiB
Makefile
55 lines
1.6 KiB
Makefile
gifs = ghostRightarrow.gif
|
|
|
|
density=-r90x90
|
|
|
|
.SUFFIXES:
|
|
.SUFFIXES: .tex .gif
|
|
|
|
# translate ps file to ppm, crop to minimum background, and translate ppm
|
|
# to gif with white (background) transparent
|
|
#
|
|
.tex.gif:
|
|
echo | latex $* &&\
|
|
dvips -f < $*.dvi |\
|
|
gs -q -dNOPAUSE -dSAFER -sDEVICE=ppmraw -sOutputFile=-\
|
|
${density} - |\
|
|
pnmcrop |\
|
|
ppmtogif -transparent white > $*.gif
|
|
/bin/rm -f $*.dvi $*.log *.aux
|
|
test -f $*.gif && chmod 644 $*.gif
|
|
|
|
all: ${gifs}
|
|
|
|
# make ghostRightarrow.gif a completely transparent version of Rightarrow.ps
|
|
#
|
|
# translate ps to gif as above but w/o making white transparent, map black
|
|
# to white, convert to ppm, and convert back to gif with white transparent
|
|
#
|
|
# could skip intermediate conversion to gif if we could map black to white
|
|
# with some ppm tool
|
|
#
|
|
# it seems like should be able to replace last three steps with
|
|
# giftrans -g '#000000=#ffffff' -t '#ffffff'
|
|
# or at least
|
|
# giftrans -g '#000000=#ffffff' | giftrans -t '#ffffff'
|
|
# but giftrans changes only the first white color it sees, not all
|
|
#
|
|
ghostRightarrow.gif: Rightarrow.tex
|
|
echo | latex Rightarrow &&\
|
|
dvips -f < Rightarrow.dvi |\
|
|
gs -q -dNOPAUSE -dSAFER -sDEVICE=ppmraw -sOutputFile=-\
|
|
${density} - |\
|
|
pnmcrop |\
|
|
ppmtogif |\
|
|
giftrans -g '#000000=#ffffff' |\
|
|
giftopnm |\
|
|
ppmtogif -transparent white > $*.gif
|
|
/bin/rm -f Rightarrow.dvi Rightarrow.log Rightarrow.aux
|
|
test -f $*.gif && chmod 644 $*.gif
|
|
|
|
clean:
|
|
rm -f *.log *.aux *.dvi Make.out
|
|
|
|
distclean: clean
|
|
rm -f *.gif
|