October 2 of each year shall be known and designated as “Mohandas Karamchand Gandhi Day”; provided that this day is not and shall not be construed to be a state holiday.