From 06855774e8d6adaa3b140e52b820d61a0cb083eb Mon Sep 17 00:00:00 2001
From: Tokunori Ikegami <ikegami.t@gmail.com>
Date: Wed, 14 May 2025 00:54:52 +0900
Subject: [PATCH] build: delete docs=disabled muon build option

Since currently the error output by the muon build.
  error invalid option: 'docs=disabled'

Signed-off-by: Tokunori Ikegami <ikegami.t@gmail.com>
---
 scripts/build.sh | 1 -
 1 file changed, 1 deletion(-)

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"