EXTRA_DIST = bg.gif \
             border_diag.gif \
	     border_eg1.gif \
	     border_eg2.gif \
	     border_eg3.gif \
	     curve1.gif \
	     curve2.gif \
	     imlib.gif \
	     index.html