6490760 Update to 4.42.

Authored and Committed by jjames 9 years ago
     Update to 4.42.
    
    This means:
    - -c also deletes $deps_file if it is used
    - Fix bugs associated with the -cd option
    - Add missfont.log and the generated synctex.gz to standard cleaned-up files
    
        
file modified
+1 -1
file modified
+8 -2
file modified
+1 -1