Stop hardcoding filenames inside pat2inc, use commandline parameters.
[gnushogi.git] / doc / gnushogi.texi
2013-12-17 Yann DirsonUse .texi suffix, preferred to .texinfo.