diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 92958f092..36129430d 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,8 +1,9 @@ +$toc$ # Contributor Guide - +
## Quick Links diff --git a/Shake.hs b/Shake.hs index 21e4f41af..9ae109215 100755 --- a/Shake.hs +++ b/Shake.hs @@ -281,7 +281,8 @@ main = do "--lua-filter tools/pandoc-demote-headers.lua" ">>" webmancombined :: Action ExitCode - -- Copy some extra markdown files from the main repo into the site. + -- Copy some extra markdown files from the main repo into the site + -- TODO adding table of contents placeholders ["site/README.md", "site/CONTRIBUTING.md"] |%> \out -> copyFile' (dropDirectory1 out) out -- XXX (map toLower out)