X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=ggo%2Fhistory_file.m4;fp=ggo%2Fhistory_file.m4;h=932d88bf06825cf0ba92bd21988d5944b1c93cb4;hb=367daa451bd837c3e267c8385bbc92898f06ecca;hp=0000000000000000000000000000000000000000;hpb=b5e5c97342576b3a5f2b09feb68b38abea5dad22;p=paraslash.git

diff --git a/ggo/history_file.m4 b/ggo/history_file.m4
new file mode 100644
index 00000000..932d88bf
--- /dev/null
+++ b/ggo/history_file.m4
@@ -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>