path: root/debian/linux-headers-armmp-lpae.maintscript

dir_to_symlink /usr/share/doc/linux-headers-armmp-lpae linux-headers-6.1.0-19progress7u1-armmp-lpae 5.7~rc5-1~exp1 linux-headers-armmp-lpae