[PATCH 1/1] devel/release-checks.sh: check PROJECT_NAME in doxygen.cfg

[Tomi Ollila]

Check that PROJECT_NAME configuration option in doxygen.cfg equals
"Notmuch $VERSION" in devel/release-checks.sh.
---

Note that release-checks.sh is not yet able to parse the doxygen-generated
namual pages in man/man3... Decision how to handle those is to be made
later...

 devel/release-checks.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/devel/release-checks.sh b/devel/release-checks.sh
index 8938905..0585f68 100755
--- a/devel/release-checks.sh
+++ b/devel/release-checks.sh
@@ -236,6 +236,19 @@ do
 done
 echo $man_pages_ok.
 
+doxygen_notmuch_version="\"Notmuch $VERSION\""
+doxyfile=devel/doxygen.cfg
+echo -n "Checking that $doxyfile PROJECT_NAME is $doxygen_notmuch_version... "
+doxygen_project_name=`sed -n '/^PROJECT_NAME/ { s/^[^"]*//p; q;}' $doxyfile`
+if [ "$doxygen_project_name" = "$doxygen_notmuch_version" ]
+then
+	echo Yes.
+else
+	append_emsg "PROJECT_NAME '$doxygen_project_name' is not '$doxygen_notmuch_version' in '$doxyfile'"
+	echo No.
+fi
+
+
 if [ -n "$emsgs" ]
 then
 	echo
-- 
1.8.4.2