    IfFileExists("%O\%N.synctex",>
      !"CopyFile('%O\%N.synctex','%P\%N.synctex',1);DeleteFile('%O\%N.synctex');");
    IfFileExists("%O\%N.synctex.gz",>
      !"CopyFile('%O\%N.synctex.gz','%P\%N.synctex.gz',1);DeleteFile('%O\%N.synctex.gz');");
  JMP(!"Post_Done");
