# linux-signed-* source packages are generated by the linux source
# package, so it is OK for their binaries to share documentation
linux-headers-rt-686-pae: usr-share-doc-symlink-to-foreign-package linux-headers-6.1.0-44-rt-686-pae
