the problem was actually not in the texi-file, but the Makefile.am. Reverted changes in the .texi and fixed it (hopefully) correctly now.
AM_CPPFLAGS=-DINFODIR='"$(infodir)"' @X_CFLAGS@
AM_LDFLAGS= -lm @X_PRE_LIBS@ @XAW_LIBS@ @X_LIBS@ @X_EXTRA_LIBS@
-info_TEXINFOS = copyright.texi xboard.texi
+info_TEXINFOS = xboard.texi
+xboard_TEXINFOS = copyright.texi
man6_MANS = xboard.man
xboard.man: xboard.texi copyright.texi gpl.texinfo version.texi
-\input texinfo @c -*-texinfo-*-
@setfilename copyright.info
except that the section entitled ``GNU General Public License,''
and this permission notice, may be included in translations approved by
the Free Software Foundation instead of in the original English.
-
-@bye