Manpages of arduino-mk in Debian trixie