-
-Paper_stream*
-Paper_def::paper_stream_p () const
-{
- String outname = base_output_str ();
-
- if (outname != "-")
- outname += String (".") + output_global_ch;
- progress_indication (_f ("paper output to %s...",
- outname == "-" ? String ("<stdout>") : outname));
-
-
- target_str_global_array.push (outname);
- return new Paper_stream (outname);
-}
-
-
-String
-Paper_def::base_output_str () const
-{
- String str = get_default_output ();
-
- if (str.empty_b ())
- {
- str = default_outname_base_global;
- int def = get_next_default_count ();
- if (def)
- str += "-" + to_str (def);
- }
- return str;
-}
-
-