#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: complete.eps indi.eps path-upgrade.eps path.eps progress.eps \
	ud2.eps upgd-custom.eps upgd-lilo.eps


 clean:
	rm -f *.eps

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

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

path-upgrade.eps: path-upgrade.gif
	./img2eps --width=7 path-upgrade.gif

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

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

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

upgd-custom.eps: upgd-custom.gif
	./img2eps --width=7 upgd-custom.gif

upgd-lilo.eps: upgd-lilo.gif
	./img2eps --width=7 upgd-lilo.gif