path: root/debian/linux-image-rt-armmp-dbg.maintscript

dir_to_symlink /usr/share/doc/linux-image-rt-armmp-dbg linux-image-6.1.0-19progress6.99u1-rt-armmp-dbg 5.7~rc5-1~exp1 linux-image-rt-armmp-dbg