1## Process this file with automake to produce Makefile.in 2# gri: doc/resources/Makefile.am 3 srcdir = @srcdir@ 4 VPATH = @srcdir@ 5EXTRA_DIST = top_banner.gif bottom_banner.gif math_symbols.gif\ 6 pixel.gif sm_bg.gif symbols.gif top_banner.gri bottom_banner.gri 7 8developer_all: 9 gri bottom_banner.gri 10 convert bottom_banner.ps bottom_banner.gif 11 chmod a+r bottom_banner.gif 12 rm -f bottom_banner.ps 13 gri top_banner.gri 14 convert top_banner.ps top_banner.gif 15 chmod a+r top_banner.gif 16 rm -f top_banner.ps 17