[#1732] build.sh docs needs config.mk