pkgdoc_htmldir = ${pkgdocdir}/dev-html

pkgdoc_html_DATA = ${srcdir}/*.html ${srcdir}/*.css ${srcdir}/*.png
EXTRA_DIST = ${pkgdoc_html_DATA}

MAINTAINERCLEANFILES = ${pkgdoc_html_DATA} *.pl WARNINGS