[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]