diff options
author | David Robillard <d@drobilla.net> | 2019-04-22 10:52:21 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2019-04-22 10:52:21 +0200 |
commit | 432d60b600842c7d09de9ca1f33800358e8e058d (patch) | |
tree | c90daf5cdb8e9cf2c70feeee53c983bbcc706067 /doc/header.html | |
parent | feb8f4d2b6324183ea04271f1cb8d7db0232a89e (diff) | |
download | sratom-432d60b600842c7d09de9ca1f33800358e8e058d.tar.gz sratom-432d60b600842c7d09de9ca1f33800358e8e058d.tar.bz2 sratom-432d60b600842c7d09de9ca1f33800358e8e058d.zip |
Update documentation
Diffstat (limited to 'doc/header.html')
-rw-r--r-- | doc/header.html | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/doc/header.html b/doc/header.html new file mode 100644 index 0000000..2e419e3 --- /dev/null +++ b/doc/header.html @@ -0,0 +1,37 @@ +<!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"/> + <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME--> + <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME--> + <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" /> + $extrastylesheet + </head> + <body> + <div id="top"><!-- do not remove this div, it is closed by doxygen! --> + + <!--BEGIN TITLEAREA--> + <div id="titlearea"> + <div id="header"> + <div id="titlebox"> + <!--BEGIN PROJECT_LOGO--> + <div id="projectlogo"><img alt="Logo" src="$relpath^$projectlogo"/></div> + <!--END PROJECT_LOGO--> + <!--BEGIN PROJECT_NAME--> + <h1 id="title">$projectname</h1> + <!--END PROJECT_NAME--> + <!--BEGIN PROJECT_BRIEF--> + <div id="shortdesc">$projectbrief</div> + <!--END PROJECT_BRIEF--> + </div> + <div id="metabox"> + <table id="meta"> + <!--BEGIN PROJECT_NUMBER--> + <tr><th>Version</th><td>$projectnumber</td></tr> + <!--END PROJECT_NUMBER--> + </table> + </div> + </div> + </div> + <!--END TITLEAREA--> + <!-- end header part --> |