diff options
| author | David Robillard <d@drobilla.net> | 2020-12-21 18:14:10 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2020-12-21 18:14:10 +0100 |
| commit | d361ce65d3841c9f97d27ac477c2e55c3802b381 (patch) | |
| tree | c710d7deab629c6179ccf663f0421750b801a667 /doc/header.html | |
| parent | b3067e5a5dd1d92551d166a5095821e9033c0b7c (diff) | |
| download | sratom-d361ce65d3841c9f97d27ac477c2e55c3802b381.tar.gz sratom-d361ce65d3841c9f97d27ac477c2e55c3802b381.tar.bz2 sratom-d361ce65d3841c9f97d27ac477c2e55c3802b381.zip | |
Generate documentation with Sphinx
Diffstat (limited to 'doc/header.html')
| -rw-r--r-- | doc/header.html | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/doc/header.html b/doc/header.html deleted file mode 100644 index 2e419e3..0000000 --- a/doc/header.html +++ /dev/null @@ -1,37 +0,0 @@ -<!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 --> |