8442e2e
- include patch 004 - suppress install-info errors (#515910) - remove dir* in infodir after install (#492097)