the dvidvi-package contains manpages only, these are declared as "runfiles", but should be "docfiles". Thanks, fixed for the next update. -k