]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - m4/gengetopt/logfile.m4
Convert para_server to lopsub.
[paraslash.git] / m4 / gengetopt / logfile.m4
diff --git a/m4/gengetopt/logfile.m4 b/m4/gengetopt/logfile.m4
deleted file mode 100644 (file)
index 070d736..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 stderr.
-"
-</qu>