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 <cmt@burggraben.net>

END
