Get rid of Makefile.profile, document flags to use in README.maint instead.
authorYann Dirson <ydirson@free.fr>
Tue, 17 Dec 2013 22:26:26 +0000 (23:26 +0100)
committerYann Dirson <ydirson@free.fr>
Tue, 17 Dec 2013 22:40:47 +0000 (23:40 +0100)
commit6c394be5d7edab121feba6e3ba70cddf3a090f39
tree11bb1afca5f9b4d3e0c05f6d7b045e053c88339a
parent7ea13a3715e6fdbefb8d844ad3b0d9c106e98f9a
Get rid of Makefile.profile, document flags to use in README.maint instead.

We don't want to maintain Makefile.profile as a quasi-copy of main Makefile,
that's not a good practice at all.
README.maint
TODO
configure.ac
gnushogi/Makefile.profile.in [deleted file]