build.sh: add a real makeinfo argument