#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: account.eps autopart.eps bootdisk.eps complete.eps ddmain.eps \
     format.eps gnome.eps group.eps indi.eps keyboard.eps kde.eps lang.eps \
     monitor.eps mouse-fail.eps mouse.eps net.eps network.eps progress.eps \
     ready.eps timezone.eps type.eps ud.eps videocard.eps xcustom.eps \
     welcome.eps


clean:
	rm -f *.eps

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

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

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

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

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

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

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

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

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

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


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

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

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

mouse-fail.eps: mouse-fail.gif
	./img2eps --width=7 mouse-fail.gif

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

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

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

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

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

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

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

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

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

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

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