doc header, currently unused

diff --git a/res/docs/header.tpl.html b/res/docs/header.tpl.html
new file mode 100644 (file)
index 0000000..ee0650f
--- /dev/null
+++ b/res/docs/header.tpl.html
@@ -0,0 +1,8 @@
+<ul class="menu">
+ <li><a href="index.html">Index</a></li>
+ <li><a href="INSTALL.html">Installation</a></li>
+ <li><a href="UPGRADE.html">Upgrade</a></li>
+ <li><a href="ChangeLog.html">ChangeLog</a></li>
+ <li><a href="http://semanticscuttle.sourceforget.net/">Homepage</a></li>
+ <li><a href="https://sourceforget.net/projects/semanticscuttle">Project page</a></li>
+</ul>