doc: contributing: add TOC

This commit is contained in:
Simon Michael 2019-01-19 17:31:03 -08:00
parent 286a372396
commit 5c5e404df6
2 changed files with 4 additions and 2 deletions

View File

@ -1,8 +1,9 @@
<!-- consolidating dev docs from wiki, https://github.com/simonmichael/hledger/issues/920 WIP --> <!-- consolidating dev docs from wiki, https://github.com/simonmichael/hledger/issues/920 WIP -->
$toc$
# Contributor Guide # Contributor Guide
<!-- $ toc --> <br clear=all>
## Quick Links ## Quick Links

View File

@ -281,7 +281,8 @@ main = do
"--lua-filter tools/pandoc-demote-headers.lua" "--lua-filter tools/pandoc-demote-headers.lua"
">>" webmancombined :: Action ExitCode ">>" 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 -> ["site/README.md", "site/CONTRIBUTING.md"] |%> \out ->
copyFile' (dropDirectory1 out) out -- XXX (map toLower out) copyFile' (dropDirectory1 out) out -- XXX (map toLower out)