## $Id$ AUTOMAKE_OPTIONS = foreign 1.5 html_imagesdir = $(htmldir)/images HTML_IMAGES = dir-arrow.gif dvi.gif missing-arrow.gif next-arrow.gif \ oaronly.jpg pdf.gif pdf1.gif prev-arrow.gif ps.gif up-arrow.gif if USE_HTML html_images_DATA = $(HTML_IMAGES) endif EXTRA_DIST = $(HTML_IMAGES)