Get rid of Makefile.profile, document flags to use in README.maint instead.
[gnushogi.git] / misc / gnuminishogi.pat
misc/gnuminishogi.pat