Index: trunk/FACT++/configure
===================================================================
--- trunk/FACT++/configure	(revision 14650)
+++ trunk/FACT++/configure	(revision 14652)
@@ -28260,6 +28260,6 @@
 
 fi
-{ $as_echo "$as_me:${as_lineno-$LINENO}:  man:           build all buildable documentation" >&5
-$as_echo "$as_me:  man:           build all buildable documentation" >&6;}
+{ $as_echo "$as_me:${as_lineno-$LINENO}:  doc:           build all buildable documentation" >&5
+$as_echo "$as_me:  doc:           build all buildable documentation" >&6;}
 { $as_echo "$as_me:${as_lineno-$LINENO}: " >&5
 $as_echo "$as_me: " >&6;}