diff -ruN postgresql-7.4.7-old/configure postgresql-7.4.7/configure
--- postgresql-7.4.7-old/configure	2005-01-30 20:32:19.000000000 +0100
+++ postgresql-7.4.7/configure	2005-02-14 22:10:58.239942000 +0100
@@ -467,6 +467,11 @@
   -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
     mandir=$ac_optarg ;;
 
+  -infodir | --infodir | --infodi | --infod | --info | --inf)
+    ac_prev=infodir ;;
+  -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
+    infodir=$ac_optarg ;;
+
   -nfp | --nfp | --nf)
     # Obsolete; use --without-fp.
     with_fp=no ;;