build-sys: remove dvi doc generation