path: root/debian/linux-image-riscv64-dbg.maintscript

dir_to_symlink /usr/share/doc/linux-image-riscv64-dbg linux-image-6.1.0-20progress6.99u1-riscv64-dbg 5.7~rc5-1~exp1 linux-image-riscv64-dbg