/home/pi/User/luckfox/luckfox-pico/sysdrv/tools/board/gdb/gdb-10.2/missing: 81: /home/pi/User/luckfox/luckfox-pico/sysdrv/tools/board/gdb/gdb-10.2/missing: makeinfo: not found WARNING: 'makeinfo' is missing on your system. You should only need it if you modified a '.texi' file, or any other file ind...