From a4d3f07e5162db4f9345f32f623ce94f5015c873 Mon Sep 17 00:00:00 2001 From: Carl Worth Date: Tue, 1 Dec 2009 18:09:47 -0800 Subject: [PATCH] configure: Generate some documentation into Makefile.config. It's just not nice to auto-generate a file without helping out the poor user who gets stuck trying to figure out what went wrong. --- configure | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/configure b/configure index 97ee606f..92b6710f 100755 --- a/configure +++ b/configure @@ -161,9 +161,25 @@ EOF # construct the Makefile.config cat > Makefile.config <