]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - m4/gengetopt/history_file.m4
Move gengetopt input files to m4 directory.
[paraslash.git] / m4 / gengetopt / history_file.m4
diff --git a/m4/gengetopt/history_file.m4 b/m4/gengetopt/history_file.m4
new file mode 100644 (file)
index 0000000..932d88b
--- /dev/null
@@ -0,0 +1,12 @@
+<qu>
+option "history_file" -
+#~~~~~~~~~~~~~~~~~~~~~~
+"(default='</qu>DEFAULT_HISTORY_FILE<qu>')"
+string typestr = "filename"
+optional
+details = "
+       If </qu>CURRENT_PROGRAM<qu> runs in interactive mode, it reads the history
+       file on startup. Upon exit, the in-memory history is appended
+       to the history file.
+"
+</qu>