diff options
author | Robert Managan <ramanagan@att.net> | 2014-04-24 06:01:33 (GMT) |
---|---|---|
committer | Robert Managan <ramanagan@att.net> | 2014-04-24 06:01:33 (GMT) |
commit | 211c97c8a8b7ceaf2c4cbc76c429ca3d43220d89 (patch) | |
tree | 7c8375f9bbc0d5b4e9c9ecd0558337339e7a6927 /src | |
parent | b5c114714edc311f750bdc2730315e905b8f4fa9 (diff) | |
download | SCons-211c97c8a8b7ceaf2c4cbc76c429ca3d43220d89.zip SCons-211c97c8a8b7ceaf2c4cbc76c429ca3d43220d89.tar.gz SCons-211c97c8a8b7ceaf2c4cbc76c429ca3d43220d89.tar.bz2 |
add name.synctex.gz to list of side effect files and those to be cleaned
Diffstat (limited to 'src')
-rw-r--r-- | src/engine/SCons/Tool/tex.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/engine/SCons/Tool/tex.py b/src/engine/SCons/Tool/tex.py index 5f24df0..f51c7dc 100644 --- a/src/engine/SCons/Tool/tex.py +++ b/src/engine/SCons/Tool/tex.py @@ -684,15 +684,18 @@ def tex_emitter_core(target, source, env, graphics_extensions): auxfilename = targetbase + '.aux' logfilename = targetbase + '.log' flsfilename = targetbase + '.fls' + syncfilename = targetbase + '.synctex.gz' env.SideEffect(auxfilename,target[0]) env.SideEffect(logfilename,target[0]) env.SideEffect(flsfilename,target[0]) + env.SideEffect(syncfilename,target[0]) if Verbose: - print "side effect :",auxfilename,logfilename,flsfilename + print "side effect :",auxfilename,logfilename,flsfilename,syncfilename env.Clean(target[0],auxfilename) env.Clean(target[0],logfilename) env.Clean(target[0],flsfilename) + env.Clean(target[0],syncfilename) content = source[0].get_text_contents() |