do not commit dvi files