]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - ggo/logfile.m4
Move gengetopt input files to m4 directory.
[paraslash.git] / ggo / logfile.m4
diff --git a/ggo/logfile.m4 b/ggo/logfile.m4
deleted file mode 100644 (file)
index bb10293..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-<qu>
-option "logfile" L
-#~~~~~~~~~~~~~~~~~
-"where to write log output"
-string typestr="filename"
-optional
-details="
-       If this option is not given, </qu>CURRENT_PROGRAM<qu> writes the log
-       messages to to stderr
-"
-</qu>