]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - ggo/logfile.m4
Use symbolic names for loglevels and clean up the ggo mess.
[paraslash.git] / ggo / logfile.m4
diff --git a/ggo/logfile.m4 b/ggo/logfile.m4
new file mode 100644 (file)
index 0000000..bb10293
--- /dev/null
@@ -0,0 +1,11 @@
+<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>