diff --git a/doc/header.html b/doc/header.html index a847be55..776a3e13 100644 --- a/doc/header.html +++ b/doc/header.html @@ -4,8 +4,11 @@ -$projectname: $title -$title + + +$projectname: $title + +$title