Append .tex extension to synchronized source file whenever we don't see an expected tex extension.
Append .tex extension to synchronized source file whenever we don't see an expected tex extension.

JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim