devel-file-in-non-devel-package
install-file-in-docs