diff --git a/Makefile b/Makefile index f6927ba..fd2e137 100755 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ DOCVERSION = 1.1 # Publication date, ISO format; update manually for "releases" #DOCDATE = 2019-11-15 -DOCDATE = 2020-08-20 +DOCDATE = 2020-08-28 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN DOCTYPE = WD