Richard Kimberly Heck wrote:
> + string const format =
> + current_id_->params().documentClass().outputFormat();
> + string const ext = theFormats().extension(format);
> + tempfile_.reset(new TempFile("preamble_editXXXXXX" + ext));"preamble_editXXXXXX" -> "preamble_editXXXXXX." ?
