diff --git a/contrib/releases/new-release.sh b/contrib/releases/new-release.sh index 9aadd1f0a6..9ebc5990dc 100755 --- 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