Use configure --enable-minishogi to select build of gnuminishogi.
authorYann Dirson <ydirson@free.fr>
Sun, 20 Oct 2013 19:29:45 +0000 (21:29 +0200)
committerYann Dirson <ydirson@free.fr>
Mon, 4 Nov 2013 22:00:25 +0000 (23:00 +0100)
commitcb4ec411aa1c818e5e8ac14e8cc31b3d4b87a546
treeb4179462f544455c2aac7e9aa2ceaa9f5254eee5
parent66ff943ab8bb2b33f5627ec27f1d8d85a29ec251
Use configure --enable-minishogi to select build of gnuminishogi.

At the same time, provide an empty gnuminishogi.tbk so things work more
as they should.

Only the patterns are still necessary to specify manually at this point.
.gitignore
Makefile.in
configure.ac
gnushogi/Makefile.in
misc/gnuminishogi.tbk [new file with mode: 0644]