Shulján Aruj, Óraj Jaim 544:1
דין צרכי רבים בחול המועד. ובו ב סעיפים: צרכי רבים מותר לעשותן בחול המועד כגון לתקן הדרכים ולהסיר מהם המכשולות ולציין הקברות כדי שיזהרו מהם הכהנים ולתקן המקוואות: הגה ודוקא צרכי רבים כאלו שהם צריכים לגוף האדם אבל שאר צרכי רבים כגון בנין בה"כ (ב"י בשם תשובת הרשב"א) אסור לעשות במועד וה"ה דלשאר צרכי מצוה אסור לעשות מלאכת אומן במועד. (ריב"ש סימן רכ"ו):
Leyes de las necesidades públicas durante Jol Hamoed. Contiene dos apartados: Está permitido atender las necesidades públicas durante Jol Hamoed, por ejemplo reparar caminos, eliminar obstáculos, señalar las tumbas para que los kohaním se mantengan alejados de ellas y reparar mikvaot. Nota: Esto se aplica específicamente a las necesidades colectivas relacionadas con el bienestar físico. Otros proyectos públicos, como construir una sinagoga (Beit Yosef en nombre del Rashba), están prohibidos durante la festividad. Del mismo modo, está prohibido realizar labores artesanales profesionales para otras necesidades de mitzvá (Rivash, cap. 226).