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.

git-svn-id: cb3fc60f0f557b927b8032d8a94e869b6f9f230b@4920 0fceea05-a30d-0410-8a8b-80ef821fb0a1

camillobruni/skim,jasongrout/skim,camillobruni/skim,camillobruni/skim,camillobruni/skim,jasongrout/skim