docs: add missing full-html flag
[debian/dhcpd-pools.git] / m4 / .gitignore