-void
-Paper_def::reset_score_count ()
-{
- score_count_ = 0;
-}
-
-
-Paper_outputter*
-Paper_def::get_paper_outputter ()
-{
- String outname = outname_string ();
- progress_indication (_f ("paper output to `%s'...",
- outname == "-" ? String ("<stdout>") : outname));
-
- global_input_file->target_strings_.push (outname);
- Paper_outputter * po = new Paper_outputter (outname);
- Path p = split_path (outname);
- p.ext = "";
- po->basename_ = p.to_string ();
- return po;
-}
-
-
-/*
- todo: use symbols and hashtable idx?
-*/