Generate HTML doc using makeinfo, instead of obsolecent texi2html
[gnushogi.git] / README.maint
2013-10-08 Yann DirsonInitiate new ChangeLog using git2cl.