X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=m4%2Fgengetopt%2Fconfig_file.m4;fp=m4%2Fgengetopt%2Fconfig_file.m4;h=0000000000000000000000000000000000000000;hp=29f66b4440be2f238b66ead0bfed73a7d74785f7;hb=e9dd7df880c68a2d664ea10d167e6667707f9fd5;hpb=15d4c69ddcf88dd9046ed8d2847a428145a32045

diff --git a/m4/gengetopt/config_file.m4 b/m4/gengetopt/config_file.m4
deleted file mode 100644
index 29f66b44..00000000
--- a/m4/gengetopt/config_file.m4
+++ /dev/null
@@ -1,14 +0,0 @@
-<qu>
-option "config-file" c
-#~~~~~~~~~~~~~~~~~~~~~
-"(default='</qu>DEFAULT_CONFIG_FILE<qu>')"
-string typestr="filename"
-optional
-details="
-	</qu>CURRENT_PROGRAM<qu> reads its config file right after parsing
-	the options that were given at the command line. If an
-	option is given both at the command line and in the
-	config file, the value that was specified at the command line
-	takes precedence.
-"
-</qu>