From 853c07bf9e21cf9d64d0ab60ecbc3bc26faa3bcb Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 31 Mar 2013 22:14:40 +0000
Subject: [PATCH] docs: show one more level of contents on manual

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

diff --git a/site/site.hs b/site/site.hs
index ed20659e2..29caf93c7 100644
--- a/site/site.hs
+++ b/site/site.hs
@@ -29,6 +29,7 @@ main = do
           pandocCompilerWith
             def
             def{writerTableOfContents=True
+               ,writerTOCDepth=4
                ,writerStandalone=True
                ,writerTemplate="<div id=toc>$toc$</div>\n$body$"
                }