removing document.dvi from repository