From 5000c6ac6a51f1824419a236bcf881b18059a054 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 19 Jan 2019 15:42:43 -0800 Subject: [PATCH] site: forcing lower-case URIs is a hassle; add redirects for now [ci skip] --- Shake.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Shake.hs b/Shake.hs index ba77f9aa5..559b35a30 100755 --- a/Shake.hs +++ b/Shake.hs @@ -139,7 +139,7 @@ main = do webmanuals = ["site" manpageNameToUri m <.> "md" | m <- manpageNames] -- website html pages - all manual versions plus misc pages in site/ or copied from elsewhere. - -- All these names will have lower-case URIs on the website. + -- TODO: make all have lower-case URIs on the final website. webhtmlpages = map (normalise . ("site/_site" )) $ ( [ prefix manpageNameToUri mPage <.> "html" @@ -283,7 +283,7 @@ main = do -- Copy some extra markdown files from the main repo into the site. ["site/README.md", "site/CONTRIBUTING.md"] |%> \out -> - copyFile' (dropDirectory1 out) (map toLower out) + copyFile' (dropDirectory1 out) out -- XXX (map toLower out) -- WEBSITE HTML & ASSETS