Use .texi suffix, preferred to .texinfo.
[gnushogi.git] / misc / gnuminishogi.pat
2013-11-04 Yann DirsonGenerate patterns.inc at build time.