#This Makefile converts all of the .gif images used in the GNOME
#User's Guide to .eps for postscript output. The img2eps script
#converts the image and scales it to your specifications. You will
#need to determine the width you would like your image to display on
#paper before adding the image to this file. The width parameter will
#scale your image in inches. Make sure to add the new image to the
#"all" section as well.

all: partless1.eps pl-edit.eps pl-size.eps pl-warn.eps


clean:
	rm -f *.eps

partless1.eps: partless1.gif
	./img2eps --width=7 partless1.gif

pl-edit.eps: pl-edit.gif
	./img2eps --width=7 pl-edit.gif

pl-size.eps: pl-size.gif
	./img2eps --width=7 pl-size.gif

pl-warn.eps: pl-warn.gif
	./img2eps --width=7 pl-warn.gif
