actions: publish release docs to correct folder

We have been publishing docs to the wrong folter on AWS S3. We still had
the official docs published to the correct place manually though, so all
was good.

This change will eliminate the manual step of publishing documentation
and will put things where they belong.

Signed-off-by: Anas Nashif <[email protected]>

Author: nashif

.github/workflows/doc-publish.yml

@@ -9,7 +9,9 @@ on:
     - cron:  '50 22 * * *'
   push:
     tags:
-    - '*'
+      # only publish v* tags, do not care about zephyr-v* which point to the
+      # same commit
+      - 'v*'
 
 jobs:
   doc-publish:
@@ -100,13 +102,15 @@ jobs:
            aws s3 sync  --quiet doc/_build/html s3://docs.zephyrproject.org/latest --delete
            echo "success sync of latest docs"
         else
-           DOC_RELEASE=${RELEASE}.0
+           # we want just the version, without the leading 'v'
+           DOC_RELEASE=${RELEASE:1}
            echo "publish release docs: ${DOC_RELEASE}"
            aws s3 sync  --quiet doc/_build/html s3://docs.zephyrproject.org/${DOC_RELEASE}
            echo "success sync of rel docs"
         fi
         if [ -d doc/_build/doxygen/html ]; then
-           echo "publish doxygen"
-           aws s3 sync  --quiet doc/_build/doxygen/html s3://docs.zephyrproject.org/apidoc/${RELEASE} --delete
+           API_RELEASE=${RELEASE:1}
+           echo "publish doxygen to apidoc/${API_RELEASE}"
+           aws s3 sync  --quiet doc/_build/doxygen/html s3://docs.zephyrproject.org/apidoc/${API_RELEASE} --delete
            echo "success publish of doxygen"
         fi