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