Code

pfstools.install: Install usr/share/pfstools/hdrhtml_*.