From 770b8c2564d51b125094f8df9dbf36a5657df119 Mon Sep 17 00:00:00 2001
From: YOSHIHIRO Imai <y.imai@aist.go.jp>
Date: Wed, 4 Feb 2026 13:41:17 +0900
Subject: [PATCH] Doc: `make html` display the tag name instead of the commit
 hash.

display the tag name instead of the commit hash.
---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.common b/Makefile.common
index 2901c0397..4f0bdbd82 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -104,7 +104,7 @@ endif
 
 DOCDIR=html
 
-GIT_HASH = $(shell git rev-parse --short HEAD)
+GIT_HASH := $(shell git describe --tags --exact-match 2>/dev/null || git rev-parse --short HEAD)
 
 $(DOCDIR)/dependency_graph.pre:
 	mkdir -p $(DOCDIR)