Index: configure
===================================================================
--- configure	(revision 5d6ce1f8d18a9bbca45f06868ceb938bf0812bfb)
+++ configure	(revision 8f1b0e11960f18b435bda8a6cbf819c4adf43830)
@@ -2863,5 +2863,5 @@
 
 
-		# do not follow GNU standard
+
 
 ac_config_headers="$ac_config_headers config.h"
@@ -6937,4 +6937,5 @@
 fi
 
+
 # Final text
 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Cforall configuraton completed. Type \"make -j 8 install\"." >&5