no need to retain the task for dvi conversion as it's only used locally
no need to retain the task for dvi conversion as it's only used locally

git-svn-id: 765db44a9620ed55f4f8addfd3c14fe8cd57f6bb@5176 0fceea05-a30d-0410-8a8b-80ef821fb0a1

nanoant/Skim,nanoant/Skim,nanoant/Skim,nanoant/Skim,nanoant/Skim