+
+/* Returns the name of the journal file. The caller must not modify or free
+ the returned string. */
+const char *
+journal_get_file_name (void)
+{
+ if (journal_file_name == NULL)
+ {
+ const char *output_path = default_output_path ();
+ journal_file_name = xasprintf ("%s%s", output_path, "pspp.jnl");
+ }
+ return journal_file_name;
+}