diff --git a/scripts/build.sh b/scripts/build.sh
index fdfbaf2c2b..3b70f801d5 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -195,7 +195,6 @@ tools_build_muon() {
 
     CC="${CC}" ninja="${SAMU}" stage1/muon-bootstrap setup    \
         -Dprefix="${TOOLDIR}"                                 \
-        -Ddocs=disabled                                       \
         -Dsamurai=disabled                                    \
         "${TOOLDIR}/build-muon"
     "${SAMU}" -C "${TOOLDIR}/build-muon"