contrib/releases/new-release.sh: add date in doc head file

starpu-runtime · Apr 22, 2024 · 0ed1a15 · 0ed1a15
1 parent 2088f72
commit 0ed1a15
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/contrib/releases/new-release.sh b/contrib/releases/new-release.sh
@@ -126,6 +126,7 @@ then
     (
 	cat ${dir}/head.org
 	echo "#+TITLE: StarPU Release starpu-${release} - Documentation"
+	echo "* Documentation produced on ${DATE}"
 	cat doc/README.org
     ) > ${ARTIFACTS}/doc/doc.org
 fi