Use @ifnotex and not @ifinfo, or HTML does not get its ToC.
[gnushogi.git] / .gitignore
2013-10-03 Yann DirsonAdd .gitignore file