שיט. שלא לעשות מלאכה ביום ראשון של חג הסוכות - ספר החינוך
שלא לעשות מלאכה שלא לצורך אוכל נפש ביום ראשון של חג הסוכות, שהוא יום חמשה עשר בתשרי, שנאמר
(ויקרא כג לד לה) דבר אל בני ישראל לאמר בחמשה עשר יום לחודש השביעי וגו' ביום הראשון מקרא קודש כל מלאכת עבודה לא תעשו.
עניין איסור מלאכה ביום טוב כתבתיו למעלה בפסח בסדר זה
(מצוה רחצ), וענינה שוה בכל דבר.
המצווה בכל הספרים