blob: b3d700461d8f08dd1da14e0c45a49b199e226482 (
plain) (
tree)
|
|
## $Id$
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)
|