Update .gitignore for doc/ dir.
[gnushogi.git] / misc / gnuminishogi.pat
misc/gnuminishogi.pat