# linux-signed-* source packages are generated by the linux source
# package, so it is OK for their binaries to share documentation
linux-image-armmp-lpae: usr-share-doc-symlink-to-foreign-package linux-base-7.0-armmp-lpae
