From 6240f3a05291747e4949d09e6ed4a0baa418594e Mon Sep 17 00:00:00 2001
From: Jonatan Antoni <jonatan.antoni@arm.com>
Date: Thu, 30 Jun 2022 17:05:28 +0200
Subject: [PATCH] Doxygen: Fix generation of dev drop versions.

Version number in the header is displayed without
the Git commit id. The commit id is only used in
the footer.
---
 Doxygen/gen_doc.sh             | 3 ++-
 Doxygen/templates/footer.js.in | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Doxygen/gen_doc.sh b/Doxygen/gen_doc.sh
index e4cbc7ec..e83e3621 100644
--- a/Doxygen/gen_doc.sh
+++ b/Doxygen/gen_doc.sh
@@ -60,7 +60,8 @@ fi
 sed -e "s/{datetime}/${datetime}/" "${DIRNAME}/templates/footer.js.in" \
   | sed -e "s/{year}/${year}/" \
   | sed -e "s/{projectName}/${projectName}/" \
-  | sed -e "s/{projectNumber}/${VERSION_FULL}/" \
+  | sed -e "s/{projectNumber}/${VERSION}/" \
+  | sed -e "s/{projectNumberFull}/${VERSION_FULL}/" \
   > "${DIRNAME}/../Documentation/html/footer.js"
 
 exit 0
\ No newline at end of file
diff --git a/Doxygen/templates/footer.js.in b/Doxygen/templates/footer.js.in
index 8341531c..a70a98c1 100644
--- a/Doxygen/templates/footer.js.in
+++ b/Doxygen/templates/footer.js.in
@@ -3,5 +3,5 @@ function writeHeader() {
 };
 
 function writeFooter()  {
-    document.write('Generated on {datetime} for {projectName} {projectNumber}. Copyright &copy; {year} Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on {datetime} for {projectName} {projectNumberFull}. Copyright &copy; {year} Arm Limited (or its affiliates). All rights reserved.');
 };