שולחן ערוך אורח חיים סימן תקמד סעיף א
דין צרכי רבים בחול המועד. ובו ב סעיפים:צרכי רבים מותר לעשותן בחול המועד כגון לתקן הדרכים ולהסיר מהם המכשולות ולציין הקברות כדי שיזהרו מהם הכהנים ולתקן המקוואות: הגה ודוקא צרכי רבים כאלו שהם צריכים לגוף האדם אבל שאר צרכי רבים כגון בנין בה"כ (ב"י בשם תשובת הרשב"א) אסור לעשות במועד וה"ה דלשאר צרכי מצוה אסור לעשות מלאכת אומן במועד. (ריב"ש סימן רכ"ו):
