all: chunks.png gateway.png pseudocode.png %.png: %.eps convert -density 288x288 -trim -resize 50% -quality 100 $< $@ %.png: %.ps convert -density 288x288 -trim -resize 50% -quality 100 $< $@ chunks.png: ../design-paper/figures/chunks.eps gateway.png: ../design-paper/figures/gateway.eps # pseudocode-insert.png: pseudocode-insert.ps # pseudocode-search.png: pseudocode-insert.ps # pseudocode-filtered-get.png: pseudocode-filtered-get.ps # pseudocode-insert.ps: pseudocode.ps # psselect -p1 $< $@ # pseudocode-search.ps: pseudocode.ps # psselect -p2 $< $@ # pseudocode-filtered-get.ps: pseudocode.ps # psselect -p3 $< $@ pseudocode.png: pseudocode.ps pseudocode.ps: pseudocode.dvi dvips -t letter -o $@ $< pseudocode.dvi: pseudocode.tex latex $<