Use .texi suffix, preferred to .texinfo.

[gnushogi.git] / doc / gnushogi.texi

diff --git a/doc/gnushogi.texinfo b/doc/gnushogi.texi
similarity index 100%
rename from doc/gnushogi.texinfo
rename to doc/gnushogi.texi