diff options
author | David Robillard <d@drobilla.net> | 2019-07-25 21:00:32 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2019-07-25 21:00:45 +0200 |
commit | ddb62e13fe486dde3ea24046d5032aa94c7ef0fd (patch) | |
tree | cc100537a819114f0f36dfd7261029db96cafdbd | |
parent | 04a70c3b077bb053996c010f895dee3d806c87cd (diff) | |
download | serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.tar.gz serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.tar.bz2 serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.zip |
Build documentation and coverage index page
-rw-r--r-- | doc/index.html.in | 35 | ||||
-rw-r--r-- | wscript | 9 |
2 files changed, 43 insertions, 1 deletions
diff --git a/doc/index.html.in b/doc/index.html.in new file mode 100644 index 00000000..55d2d1e7 --- /dev/null +++ b/doc/index.html.in @@ -0,0 +1,35 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml"> + <head> + <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> + <title>Serd</title> + <link href="doc/html/style.css" rel="stylesheet" type="text/css" /> + </head> + <body> + <div id="top"> + <div id="titlearea"> + <div id="header"> + <div id="titlebox"> + <h1 id="title">Serd</h1> + <div id="shortdesc">A lightweight library for RDF storage and serialisation</div> + </div> + <div id="metabox"> + <table id="meta"> + <tr><th>Version</th><td>@SERD_VERSION@</td></tr> + </table> + </div> + </div> + </div> + + <div id="navrow1" class="tabs" /> + <ul class="tablist" /> + </div> + + <ul> + <li><a href="doc/html/index.html">API Documentation</a></li> + <li><a href="coverage/index.html">Test Coverage</a></li> + </ul> + + <div id="footer" /> + </body> +</html> @@ -161,7 +161,14 @@ def build(bld): obj.linkflags = ['-static'] # Documentation - autowaf.build_dox(bld, 'SERD', SERD_VERSION, top, out) + if bld.env.DOCS: + autowaf.build_dox(bld, 'SERD', SERD_VERSION, top, out) + bld(features='subst', + source='doc/index.html.in', + target='doc/index.html', + install_path='', + name='index', + SERD_VERSION=SERD_VERSION) # Man page bld.install_files('${MANDIR}/man1', 'doc/serdi.1') |