change Makefile date

Author: gilleslandais

Makefile

@@ -12,7 +12,7 @@ DOCNAME = data-origin
 DOCVERSION = 1.2
 
 # Publication date, ISO format; update manually for "releases"
-DOCDATE = 2025-10-29
+DOCDATE = 2025-10-31
 
 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN
 DOCTYPE = PEN