From bd56ed38e8022c25b2d14aae59553fc7c3d229dd Mon Sep 17 00:00:00 2001 From: Guillaume Munch Date: Tue, 23 Feb 2016 23:57:12 +0000 Subject: [PATCH] Delete .out files after compilation errors (#9963) This treats the symptom, not the bug. --- src/LaTeX.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/LaTeX.cpp b/src/LaTeX.cpp index 37c8703b0d..6063d80719 100644 --- a/src/LaTeX.cpp +++ b/src/LaTeX.cpp @@ -148,6 +148,10 @@ void LaTeX::removeAuxiliaryFiles() const FileName const aux(changeExtension(file.absFileName(), ".aux")); aux.removeFile(); + // Also remove the .out file (e.g. hyperref bookmarks) (#9963) + FileName const out(changeExtension(file.absFileName(), ".out")); + out.removeFile(); + // Remove the output file, which is often generated even if error output_file.removeFile(); } -- 2.39.2