Index: configure
===================================================================
--- configure	(revision 5d6ce1f8d18a9bbca45f06868ceb938bf0812bfb)
+++ configure	(revision 7e91d4f2638e9105eae4f6c7cddb260260f31b04)
@@ -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