diff --git a/doc/formats/html/header.html b/doc/formats/html/header.html index e6bba6932..171abf524 100644 --- a/doc/formats/html/header.html +++ b/doc/formats/html/header.html @@ -5,7 +5,7 @@ - + $projectname: $title $title