From a12ed619e3f6c9ec3c164c07e4c8706c9e6344a5 Mon Sep 17 00:00:00 2001
From: Andy Adams-Moran <adams-moran@galois.com>
Date: Thu, 17 May 2012 11:18:02 -0700
Subject: Doco: tweak relative paths to common resources

---
 doc/manual_src/Makefile                 | 2 +-
 doc/manual_src/galois-github-header.txt | 2 +-
 doc/manual_src/galois-github.css        | 6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc')

diff --git a/doc/manual_src/Makefile b/doc/manual_src/Makefile
index 31f4f4e..6dc7e6f 100644
--- a/doc/manual_src/Makefile
+++ b/doc/manual_src/Makefile
@@ -4,7 +4,7 @@ LIBDIR=.
 HEADER=$(LIBDIR)/galois-github-header.txt
 BEFORE_BODY=$(LIBDIR)/galois-github-before-body.txt
 AFTER_BODY=$(LIBDIR)/galois-github-after-body.txt
-CSS=$(LIBDIR)/galois-github.css
+CSS="/galois-github.css"
 HTML5=-t html5
 
 DOCS := $(patsubst %.md,%.html,$(wildcard *.md))
diff --git a/doc/manual_src/galois-github-header.txt b/doc/manual_src/galois-github-header.txt
index 2acbc96..025c3b4 100644
--- a/doc/manual_src/galois-github-header.txt
+++ b/doc/manual_src/galois-github-header.txt
@@ -2,7 +2,7 @@
   #siteTitle {
     display: block;
     height: 100px;
-    background: url('css-images/5ive_logo.svg') no-repeat 0px 0px;
+    background: url('/css-images/5ive_logo.svg') no-repeat 0px 0px;
     text-indent: -9999em;
     margin-bottom: 1em;
     cursor: pointer;
diff --git a/doc/manual_src/galois-github.css b/doc/manual_src/galois-github.css
index 38e909a..52faab7 100644
--- a/doc/manual_src/galois-github.css
+++ b/doc/manual_src/galois-github.css
@@ -60,7 +60,7 @@ a:link, a:visited, a:active {
   display: block;
   width: 200px;
   height: 51px;
-  background: url('css-images/galois_logo.png') no-repeat 0px 0px;
+  background: url('/css-images/galois_logo.png') no-repeat 0px 0px;
   text-indent: -9999em;
   margin-bottom: 1em;
   cursor: pointer;
@@ -83,7 +83,7 @@ a:link, a:visited, a:active {
   margin-right: auto;
   margin-bottom: -3em;
   margin-left: auto;
-  background: transparent url('css-images/pageWrapperBottom.png') no-repeat center bottom;
+  background: transparent url('/css-images/pageWrapperBottom.png') no-repeat center bottom;
   position: relative;
   z-index: 100;
 }
@@ -95,7 +95,7 @@ a:link, a:visited, a:active {
   width: 960px;
   padding:20px 10px;
   margin:0 auto 0;
-  background: transparent url('css-images/pageWrapperTop.png') no-repeat center top;
+  background: transparent url('/css-images/pageWrapperTop.png') no-repeat center top;
   position: relative;
 }
 #pageFooterWrapper {
-- 
cgit v1.2.3