Doco: make resources paths in generated HTML relative to where they're installed in the github landing pages

3 files changed, 9 insertions, 9 deletions

diff --git a/doc/manual_src/Makefile b/doc/manual_src/Makefile
index 6dc7e6f..45b0cd3 100644
--- a/doc/manual_src/Makefile
+++ b/doc/manual_src/Makefile
@@ -1,10 +1,10 @@
 
-LIBDIR=.
+LIBDIR=../..
 #LIBDIR=../../../FiveUI-github
-HEADER=$(LIBDIR)/galois-github-header.txt
-BEFORE_BODY=$(LIBDIR)/galois-github-before-body.txt
-AFTER_BODY=$(LIBDIR)/galois-github-after-body.txt
-CSS="/galois-github.css"
+HEADER=galois-github-header.txt
+BEFORE_BODY=galois-github-before-body.txt
+AFTER_BODY=galois-github-after-body.txt
+CSS=$(LIBDIR)/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 025c3b4..76b6bb2 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 52faab7..38e909a 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 {