From 38e1208a75d956327b1fec11172e8a1e0a02e181 Mon Sep 17 00:00:00 2001 From: Augustin Cavalier Date: Sat, 28 Jan 2017 13:02:44 -0500 Subject: [PATCH] docs/user: Add $projectname to the page title. Doxygen used to add this to $title itself, but now it doesn't, so we have to change our template. --- docs/user/header.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/user/header.html b/docs/user/header.html index 428acf8a2e..c9acf95915 100644 --- a/docs/user/header.html +++ b/docs/user/header.html @@ -2,7 +2,7 @@ - $title + $title | $projectname