Note that this is only an issue when makeinfo from ports is used. PR: ports/176397 Submitted by: Christoph Moench-Tegeder <cmt@burggraben.net>