udeb-with-doc (udeb): udeb-contains-documentation-file usr/share/doc/some-doc
