HTML_FILES = $(notdir $(wildcard $(srcdir)/*.html))

EXTRA_DIST = $(HTML_FILES) rhdocs-man.css \
	stylesheet-images/caution.png \
	stylesheet-images/important.png \
	stylesheet-images/note.png \
	stylesheet-images/tip.png \
	stylesheet-images/warning.png \
	figs/diskless/add-host.png \
	figs/pxe/netboot-add-host-dialog.png \
	figs/pxe/netboot-add-hosts.png \
	figs/pxe/network-install-setup.png \
	figs/pxe/temp.png