cache pdf files generated by epstopdf

2018-09-11 09:44:22 +01:00
parent 33092baf90
commit 00ebc87230
2 changed files with 10 additions and 0 deletions
--- a/app/coffee/ResourceWriter.coffee
+++ b/app/coffee/ResourceWriter.coffee
@@ -80,6 +80,8 @@ module.exports = ResourceWriter =
 						should_delete = false
 					if path.match(/^output-.*/) # Tikz cached figures
 						should_delete = false
+					if path.match(/-eps-converted-to\.pdf$/) # Epstopdf generated files
+						should_delete = false 
 					if path == "output.pdf" or path == "output.dvi" or path == "output.log" or path == "output.xdv"
 						should_delete = true
 					if path == "output.tex" # created by TikzManager if present in output files