שולחן ערוך

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