--- configure.orig	Thu May 24 11:21:39 2007
+++ configure	Thu May 24 11:22:15 2007
@@ -508,6 +508,8 @@
 	echo ' --srcdir=DIR		 find the sources in DIR [. or ..]'
 	echo ' --target=TARGET	 configure for TARGET [TARGET=HOST]'
 	echo ' --tmpdir=TMPDIR	 create temporary files in TMPDIR [/tmp]'
+	echo ' --infodir=DIR           info documentation in DIR [PREFIX/info]'
+	echo ' --mandir=DIR            man documentation in DIR [PREFIX/man]'
 	echo ' --nfp			 configure for software floating point [hard float]'
 	echo ' --with-FOO, --with-FOO=BAR package FOO is available (parameter BAR)'
 	echo ' --without-FOO		 package FOO is NOT available'