manual: also install images/*.png with the HTML output