Artículo 42.—El aguinaldo se pagará en la primera quincena del mes de diciembre, de acuerdo con lo que establece el decreto 1835, sobre la Regulación de Pago del Aguinaldo, o cualquier otra disposición legal o reglamentaria que lo mejore.