From 755777b6e3a6e69cee788af7bfc879e3d2a1f952 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bonnarel?= <52417996+Bonnarel@users.noreply.github.com> Date: Fri, 15 Mar 2024 18:24:25 +0100 Subject: [PATCH] Update Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 282bed6..9cc66f7 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ DOCNAME = SODA DOCVERSION = 1.1 # Publication date, ISO format; update manually for "releases" -DOCDATE = 2023-11-09 +DOCDATE = 2024-03-15 # What is it you're writing: NOTE, WD, PR, or REC DOCTYPE = REC