From 5c2d1ab77ede90cc162c6d10bc4ca7a69e8fa38f Mon Sep 17 00:00:00 2001
From: Rogan Creswick <creswick@gmail.com>
Date: Fri, 8 Feb 2013 15:59:24 -0800
Subject: fixed email address, tweaked file paths in templates

---
 doc/index.html               | 2 +-
 doc/manual_src/template.html | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/index.html b/doc/index.html
index afef551..85cab9f 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -77,7 +77,7 @@
         <ul>
           <li>Rogan Creswick <br /><a href="mailto:creswick@galois.com">creswick@galois.com</a></li>
           <li>Trevor Elliott</li>
-          <li>Ben Jones</li>
+          <li>Benjamin Jones <br /><a href="mailto:bjones@galois.com">bjones@galois.com</a></li>
         </ul>
       </article><!-- /.column -->
     </div><!-- /.wrap -->
diff --git a/doc/manual_src/template.html b/doc/manual_src/template.html
index 9aae1de..3b071c7 100644
--- a/doc/manual_src/template.html
+++ b/doc/manual_src/template.html
@@ -19,8 +19,8 @@ $endif$
 $for(css)$
   <link rel="stylesheet" href="$css$" $if(html5)$$else$type="text/css" $endif$/>
 $endfor$
-	<link rel="stylesheet" type="text/css" href="reset.css" media="all">
-  <link rel="stylesheet" type="text/css" href="style.css" media="all">
+	<link rel="stylesheet" type="text/css" href="../css/reset.css" media="all">
+  <link rel="stylesheet" type="text/css" href="../css/style.css" media="all">
 $if(math)$
   $math$
 $endif$
@@ -33,7 +33,7 @@ $endfor$
   <header>
     <div class="wrap">
     <a href="http://galoisinc.github.com/FiveUI" id="logo"
-       title="Galois Open Source"><img src="images/logo.png" alt="Galois" /></a>
+       title="Galois Open Source"><img src="../images/logo.png" alt="Galois" /></a>
     <h2>Open Source</h2>
       <nav id="primary">
         <ul>
-- 
cgit v1.2.3