Makefile
author viric@mandarina
Mon, 15 Dec 2008 23:58:46 +0000
changeset 257 9441bd13ee85
parent 1 73432b1eac4a
permissions -rw-r--r--
Petites millores a les diapositives


%.pnm : %.png
	pngtopnm $< > $@
%.pnm : %.jpg
	jpegtopnm $< > $@
%.pgm : %.pnm
	ppmtopgm -plain $< > $@
%.pgm : %.ppm
	ppmtopgm -plain $< > $@
%.sli : %.pgm
	./pgmtosli <$< > $@