blob: 701d53a178243ea35e117866eec0d6c4a1797395 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
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
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
rm -f Rightarrow.dvi Rightarrow.log Rightarrow.aux
test -f $*.gif && chmod 644 $*.gif
clean: ; rm -f *.gif Make.out
|
