diff -r 7f9bbf94b0bb -r 9193aa9460db config/cc/mpfr.in
--- a/config/cc/mpfr.in	Wed Apr 30 10:43:41 2008 +0000
+++ b/config/cc/mpfr.in	Mon Jun 30 11:33:52 2008 +0000
@@ -4,10 +4,6 @@
     bool
     prompt "MPFR version"
 
-config MPFR_V_2_3_0
-    bool
-    prompt "2.3.0"
-
 config MPFR_V_2_3_1
     bool
     prompt "2.3.1"
@@ -18,7 +14,6 @@
 
 config MPFR_VERSION
     string
-    default "2.3.0" if MPFR_V_2_3_0
     default "2.3.1" if MPFR_V_2_3_1
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!