diff --git a/Makefile b/Makefile
index 3793610..c42200c 100644
--- a/Makefile
+++ b/Makefile
@@ -7,10 +7,10 @@ DOCNAME = VOTable
 DOCVERSION = 1.5
 
 # Publication date, ISO format; update manually for "releases"
-DOCDATE = 2023-11-20
+DOCDATE = 2024-02-13
 
 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN
-DOCTYPE = WD
+DOCTYPE = PR
 
 # An e-mail address of the person doing the submission to the document
 # repository (can be empty until a make upload is being made)
diff --git a/ivoatex b/ivoatex
index 088a809..4cb591c 160000
--- a/ivoatex
+++ b/ivoatex
@@ -1 +1 @@
-Subproject commit 088a809c89bd1b020b32034e02746abd8eb6906a
+Subproject commit 4cb591cb784bd06378b537cff05a02e658aad143