Get rid of Makefile.profile, document flags to use in README.maint instead.

[gnushogi.git] / README.maint

diff --git a/README.maint b/README.maint
index c806085..7d69bb6 100644 (file)
--- a/README.maint
+++ b/README.maint
@@ -5,3 +5,8 @@ Updating ChangeLog
 ------------------
 
 git log --pretty --numstat --summary v1.4.0..savannah/master | git2cl > ChangeLog
+
+Profiling
+---------
+
+Build with "-g -pg -fprofile-arcs -ftest-coverage"