From a33a78fd42e8c5418eca0aa4f31c438422763726 Mon Sep 17 00:00:00 2001
From: D Herring <dherring@at.tentpost.dot.com>
Date: Sat, 23 Jan 2010 23:02:16 -0500
Subject: [PATCH] markdown documentation tweaks

Quote filenames so they work with an upcasing CL on a case-sensitive filesystem.
---
 website/source/contributors.md            |    4 ++--
 website/source/copyright.md               |    4 ++--
 website/source/getting-started.mmd        |    4 ++--
 website/source/glossary.md                |    4 ++--
 website/source/index.mmd                  |    4 ++--
 website/source/manual.mmd                 |    4 ++--
 website/source/resources/header.md        |    2 +-
 website/source/resources/shared-header.md |    2 +-
 website/source/resources/ug-header.md     |    2 +-
 website/source/user-guide.mmd             |    4 ++--
 10 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/website/source/contributors.md b/website/source/contributors.md
index f982760..de9a255 100644
--- a/website/source/contributors.md
+++ b/website/source/contributors.md
@@ -1,4 +1,4 @@
-{include resources/header.md}
+{include "resources/header.md"}
 
 <div class="contents">
 
@@ -19,7 +19,7 @@
 </div>
 
 </div>
-{include resources/footer.md}
+{include "resources/footer.md"}
 </div>
 
 
diff --git a/website/source/copyright.md b/website/source/copyright.md
index 0211851..d56aa7e 100644
--- a/website/source/copyright.md
+++ b/website/source/copyright.md
@@ -1,4 +1,4 @@
-{include resources/header.md}
+{include "resources/header.md"}
 
 <div class="contents">
 
@@ -34,7 +34,7 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 </div>
 
 </div>
-{include resources/footer.md}
+{include "resources/footer.md"}
 </div>
 
 
diff --git a/website/source/getting-started.mmd b/website/source/getting-started.mmd
index b4b16b1..f099f60 100644
--- a/website/source/getting-started.mmd
+++ b/website/source/getting-started.mmd
@@ -1,4 +1,4 @@
-{include resources/header.md}
+{include "resources/header.md"}
 
 {set-property title "Getting Started | ASDF"}
 {set-property docs-package asdf}
@@ -183,4 +183,4 @@ To use ASDF:
 
 {docs-index all}
 
-{include resources/footer.md}
+{include "resources/footer.md"}
diff --git a/website/source/glossary.md b/website/source/glossary.md
index 1b10b8d..ed60dca 100644
--- a/website/source/glossary.md
+++ b/website/source/glossary.md
@@ -1,4 +1,4 @@
-{include resources/header.md}
+{include "resources/header.md"}
 
 ## Glossary
 
@@ -8,4 +8,4 @@
 fixture is the code that prepares the environment for the test and that resets 
 the environment after the test. Fixtures can be shared by many test-cases.
 
-{include resources/footer.md}
+{include "resources/footer.md"}
diff --git a/website/source/index.mmd b/website/source/index.mmd
index 207fb3e..839d577 100644
--- a/website/source/index.mmd
+++ b/website/source/index.mmd
@@ -1,4 +1,4 @@
-{include resources/header.md}
+{include "resources/header.md"}
 
 <div class="contents">
 <div class="system-links">
@@ -66,7 +66,7 @@ Sunday; May 3, 2009
 
 
 </div>
-{include resources/footer.md}
+{include "resources/footer.md"}
 </div>
 
 
diff --git a/website/source/manual.mmd b/website/source/manual.mmd
index 4ed2fd8..d992a57 100644
--- a/website/source/manual.mmd
+++ b/website/source/manual.mmd
@@ -1,4 +1,4 @@
-{include resources/header.md}
+{include "resources/header.md"}
 {set-property docs-package asdf}
 
 # ASDF Manual
@@ -1131,7 +1131,7 @@ Previous: [Function and Class Index][24], Up: [Top][1]
 
    
 </div>
-{include resources/footer.md}
+{include "resources/footer.md"}
 </div>
 
 
diff --git a/website/source/resources/header.md b/website/source/resources/header.md
index 059da79..0d41095 100644
--- a/website/source/resources/header.md
+++ b/website/source/resources/header.md
@@ -1,4 +1,4 @@
-{include shared-header.md}
+{include "shared-header.md"}
 
 <div class="header">
 	<span class="logo">
diff --git a/website/source/resources/shared-header.md b/website/source/resources/shared-header.md
index 7e35df5..8ade3b8 100644
--- a/website/source/resources/shared-header.md
+++ b/website/source/resources/shared-header.md
@@ -1,4 +1,4 @@
-{include shared-links.md}
+{include "shared-links.md"}
 
 {set-property html yes}
 {set-property author "the ASDF group"}
diff --git a/website/source/resources/ug-header.md b/website/source/resources/ug-header.md
index 8b8b98d..2630a95 100644
--- a/website/source/resources/ug-header.md
+++ b/website/source/resources/ug-header.md
@@ -1,4 +1,4 @@
-{include shared-header.md}
+{include "shared-header.md"}
 
 {set-property style-sheets 
   "user-guide.css"
diff --git a/website/source/user-guide.mmd b/website/source/user-guide.mmd
index cb8f13f..6485d4c 100644
--- a/website/source/user-guide.mmd
+++ b/website/source/user-guide.mmd
@@ -1,4 +1,4 @@
-{include resources/ug-header.md}
+{include "resources/ug-header.md"}
 {set-property title "LIFT User's Guide"}
 {set-property style-sheet user-guide}
 {set-property docs-package lift}
@@ -40,4 +40,4 @@
 
 {footnotes}
 
-{include resources/ug-footer.md}
+{include "resources/ug-footer.md"}
-- 
1.6.0.2