K 10 svn:author V 6 johans K 8 svn:date V 27 2013-02-24T17:37:01.313048Z K 7 svn:log V 197 Fix build error on xboard.texi with modern texinfo. Note that this is only an issue when makeinfo from ports is used. PR: ports/176397 Submitted by: Christoph Moench-Tegeder END