K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2016-04-01T20:06:28.891519Z K 7 svn:log V 115 - Add missing dependency on makeinfo, fix build on 11.x PR: 208444 Submitted by: felix@palmen-it.de (maintainer) END