commit bd56ed38e8022c25b2d14aae59553fc7c3d229dd
Author: Guillaume Munch <[email protected]>
Date:   Tue Feb 23 23:57:12 2016 +0000

    Delete .out files after compilation errors (#9963)
    
    This treats the symptom, not the bug.

diff --git a/src/LaTeX.cpp b/src/LaTeX.cpp
index 37c8703..6063d80 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();
 }

Reply via email to