From fa33a05da967702933770ab6fb3274a28ee86bf3 Mon Sep 17 00:00:00 2001
From: Jeff Welch <whatthejeff@gmail.com>
Date: Sat, 21 Jun 2014 03:18:38 -0400
Subject: [PATCH] Removed superfluous slashes.

---
 include/header.inc        | 2 +-
 include/shared-manual.inc | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/header.inc b/include/header.inc
index 7d505cdc4..278ad3831 100644
--- a/include/header.inc
+++ b/include/header.inc
@@ -63,7 +63,7 @@ if (!isset($config["languages"])) {
 <?php endforeach ?>
 
 <?php foreach($config["languages"] as $code): ?>
- <link rel="alternate" href="<?php echo $MYSITE ?>/manual/<?php echo $code?>/<?php echo $config["thispage"] ?>" hreflang="<?php echo $code?>">
+ <link rel="alternate" href="<?php echo $MYSITE ?>manual/<?php echo $code?>/<?php echo $config["thispage"] ?>" hreflang="<?php echo $code?>">
 <?php endforeach ?>
 
 <?php foreach($CSS as $filename => $modified): ?>
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 147fd6e96..43cbb24bd 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -390,9 +390,9 @@ function manual_setup($setup) {
     $lastusernote = $note["xwhen"];
 
     $base = "manual/" . $setup["head"][1] . "/";
-    $_SERVER["BASE_PAGE"] = "/" . $base . $setup["this"][0];
+    $_SERVER["BASE_PAGE"] = $base . $setup["this"][0];
     $timestamps = array(
-        filemtime($_SERVER["DOCUMENT_ROOT"] . $_SERVER["BASE_PAGE"]),
+        filemtime($_SERVER["DOCUMENT_ROOT"] . "/" . $_SERVER["BASE_PAGE"]),
         filemtime($_SERVER["DOCUMENT_ROOT"] . "/include/prepend.inc"),
         filemtime($_SERVER["DOCUMENT_ROOT"] . "/styles/theme-base.css"),
         $lastusernote,