diff --git a/Makefile b/Makefile index d5c01d0..c26a6ba 100644 --- a/Makefile +++ b/Makefile @@ -7,10 +7,10 @@ DOCNAME = UCDlist DOCVERSION = 1.6 # Publication date, ISO format; update manually for "releases" -DOCDATE = 2024-11-16 +DOCDATE = 2024-12-18 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN -DOCTYPE = PEN +DOCTYPE = EN # An e-mail address of the person doing the submission to the document # repository (can be empty until a make upload is being made)