X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=m4%2Flls%2Finclude%2Fhistory-file.m4;fp=m4%2Flls%2Finclude%2Fhistory-file.m4;h=deb3d7e59df298e60c0d43e5683ddcfc0e9157b0;hb=4d5282b4e53213c89359e4c60568c37119ab34fb;hp=0000000000000000000000000000000000000000;hpb=89633512b2bfe6b903341fb12bfab65510ef0e9d;p=paraslash.git

diff --git a/m4/lls/include/history-file.m4 b/m4/lls/include/history-file.m4
new file mode 100644
index 00000000..deb3d7e5
--- /dev/null
+++ b/m4/lls/include/history-file.m4
@@ -0,0 +1,13 @@
+[option history-file]
+arg_info = required_arg
+arg_type = string
+typestr = filename
+summary = location of the file for the command history list
+[help]
+	If PROGRAM() runs in interactive mode, it reads the history file
+	on startup. Upon exit, the in-memory history is appended to the
+	history file.
+
+	If this option is not given, the history file is expected at
+	DEFAULT_HISTORY_FILE().
+[/help]