ci: 👷 GH actions : update ref-style docs on push

.github/scripts/extract-refstyle-badges/extract-refstyle-badges.sh

@@ -11,6 +11,7 @@
 # get a reference to the current directory
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 READMEFILE="${DIR}/../../../README.md"
+OUTFILE="${DIR}/../../../docs/REFERENCE_STYLE.md"
 
 # extract the table rows from README.md, sort them, and pass them to 
 #  the awk script to generate the reference-style link for each row.
@@ -22,9 +23,9 @@ readmerows=$(
 )
 
 # add a newline before processing with awk
-printf "%s\n" "$readmerows" \
-  | awk -F '|' -f "${DIR}/extract-refstyle-badges.awk" \
-> md-badges.md
+printf "%s\n\n" "$readmerows" \
+  | gawk --posix -F '|' -f "${DIR}/extract-refstyle-badges.awk" \
+> "${DIR}/md-badges.md"
 
 # now insert the generated md-badges.md content into README.md
 
@@ -34,11 +35,9 @@ tail='^<\!-- ### END GENERATED CONTENT -->'
 sed -e "/$lead/,/$tail/{
   /$lead/{
     p;
-    r md-badges.md
+    r $DIR/md-badges.md
   };
   /$tail/p;
   d
-}" "${READMEFILE}" > "${READMEFILE}.tmp"
-mv "${READMEFILE}.tmp" "${READMEFILE}"
-
-# echo "${READMEFILE}"
+}" "${READMEFILE}" > "${OUTFILE}.tmp"
+mv "${OUTFILE}.tmp" "${OUTFILE}"