diff options
author | randomdan <randomdan@localhost> | 2011-02-21 19:25:46 +0000 |
---|---|---|
committer | randomdan <randomdan@localhost> | 2011-02-21 19:25:46 +0000 |
commit | 5110b1a1ffc8d514938f2284a124907bd9d870d7 (patch) | |
tree | 859b775fef89884317ec8d886266a45ceae6bdd1 | |
parent | 'finish' the connection on disconnect only, will have to do for now.... it br... (diff) | |
download | project2-5110b1a1ffc8d514938f2284a124907bd9d870d7.tar.bz2 project2-5110b1a1ffc8d514938f2284a124907bd9d870d7.tar.xz project2-5110b1a1ffc8d514938f2284a124907bd9d870d7.zip |
Add a custom html header containing the Google site verification code
-rw-r--r-- | project2/Doxyfile | 2 | ||||
-rw-r--r-- | project2/docs/header.html | 13 |
2 files changed, 14 insertions, 1 deletions
diff --git a/project2/Doxyfile b/project2/Doxyfile index 2142e66..a7a2386 100644 --- a/project2/Doxyfile +++ b/project2/Doxyfile @@ -797,7 +797,7 @@ HTML_FILE_EXTENSION = .html # each generated HTML page. If it is left blank doxygen will generate a # standard header. -HTML_HEADER = +HTML_HEADER = docs/header.html # The HTML_FOOTER tag can be used to specify a personal HTML footer for # each generated HTML page. If it is left blank doxygen will generate a diff --git a/project2/docs/header.html b/project2/docs/header.html new file mode 100644 index 0000000..e5fee9e --- /dev/null +++ b/project2/docs/header.html @@ -0,0 +1,13 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml"> +<head> +<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> +<title>$title</title> +<link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/> +<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/> +<meta name="google-site-verification" content="f2uqzTiSxj7gbzzRzf4nOCB3WfQuWV9Knfjb9ju69jU" /> +<script type="text/javascript" src="$relpath$search/search.js"></script> +<link href="$relpath$doxygen.css" rel="stylesheet" type="text/css"/> +</head> +<body onload='searchBox.OnSelectItem(0);'> +<div id="top"><!-- do not remove this div! --> |