Remove empty manuals and fix installman target for arm-none-eabi-run
binary
Update debian/changelog file