From b5d27d83e9e1cb53205a7623b1d65aa20d1bb19f Mon Sep 17 00:00:00 2001 From: Mireille LOUYS <33840665+loumir@users.noreply.github.com> Date: Wed, 12 Oct 2022 13:07:06 +0200 Subject: [PATCH 1/3] update date of doc release on both *.txt lists --- ucd-list.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ucd-list.txt b/ucd-list.txt index 9173853..ba28b30 100644 --- a/ucd-list.txt +++ b/ucd-list.txt @@ -1,4 +1,4 @@ -#PEN-UCDlist-v1.5-2022-09-20 +#PEN-UCDlist-v1.5-2022-10-05 Q | arith | Arithmetic quantities S | arith.diff | Difference between two quantities described by the same UCD P | arith.factor | Numerical factor From 0300799ac2a1d8c468191d123b8d59c6e49bbd8f Mon Sep 17 00:00:00 2001 From: Mireille LOUYS <33840665+loumir@users.noreply.github.com> Date: Wed, 12 Oct 2022 13:09:23 +0200 Subject: [PATCH 2/3] update date on ucd-list-deprecated --- ucd-list-deprecated.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ucd-list-deprecated.txt b/ucd-list-deprecated.txt index 35d5beb..26ba84f 100644 --- a/ucd-list-deprecated.txt +++ b/ucd-list-deprecated.txt @@ -1,4 +1,4 @@ -#PEN-UCDlist-v1.5-2022-09-20 +#PEN-UCDlist-v1.5-2022-10-05 # This file contains lists suggested replacements for UCD1+ which are deprecated # deprecated_term replacement_term em.IR.K.Brgamma em.line.Brgamma From ddf639b2abdbfc86de7e63bd40b3704fb4afb73e Mon Sep 17 00:00:00 2001 From: Mireille LOUYS <33840665+loumir@users.noreply.github.com> Date: Wed, 12 Oct 2022 13:10:46 +0200 Subject: [PATCH 3/3] update docdate in makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c9d8b89..148d431 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ DOCNAME = UCDlist DOCVERSION = 1.5 # Publication date, ISO format; update manually for "releases" -DOCDATE = 2022-09-20 +DOCDATE = 2022-10-05 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN DOCTYPE = PEN