## $Id$
AUTOMAKE_OPTIONS = foreign 1.4
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)