Generate HTML doc using makeinfo, instead of obsolecent texi2html
[gnushogi.git] / misc / gnuminishogi.tbk
2013-11-04 Yann DirsonUse configure --enable-minishogi to select build of...