un-gitignore top-level dvi docs