From d2db669cbb7c86f4d414490a453afd5ebf5fae38 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 6 Nov 2013 12:26:20 -0800
Subject: [PATCH] docs: increase table of contents depth to 5 Might look more
 cluttered, but it's getting too hard to find things in the manual.

---
 site/site.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/site/site.hs b/site/site.hs
index b63d0853c..c18194d09 100755
--- a/site/site.hs
+++ b/site/site.hs
@@ -37,7 +37,7 @@ main = do
           pandocCompilerWith
             def
             def{writerTableOfContents=True
-               ,writerTOCDepth=4
+               ,writerTOCDepth=5
                ,writerStandalone=True
                ,writerTemplate="<div id=toc>$toc$</div>\n$body$"
                }