On 06/06/2018 09:03 AM, Pavel Sanda wrote:
> 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." ?Right. Riki
