File xboard-4.2.7-infodir.patch of Package xboard

--- xboard-4.2.7/Makefile.in
+++ xboard-4.2.7/Makefile.in
@@ -21,7 +21,7 @@
 # Yuck; the autoconf generated configure script sets an infodir variable
 # and provides a command-line flag to change it, but the default is 
 # /usr/info instead of /usr/share/info.
-infodir = $(prefix)/share/info
+infodir = @infodir@
 
 CC = @CC@
 CFLAGS = @CFLAGS@ @CPPFLAGS@ -DINFODIR=\"$(infodir)\"