diff --git a/docs/doxygen/header.html b/docs/doxygen/header.html new file mode 100644 index 000000000..ffbdac56c --- /dev/null +++ b/docs/doxygen/header.html @@ -0,0 +1,56 @@ + + + + + + + +$projectname: $title +$title + + + + +$treeview +$search +$mathjax + +$extrastylesheet + + +
+ + +
+ + + + + + + + + + + + + + + + + + + + + +
+
$projectname +  $projectnumber +
+
$projectbrief
+ 		+
$projectbrief
+ 		$searchbox
+
+ +