diff options
| -rw-r--r-- | docs/users_guide/index.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/index.rst b/docs/users_guide/index.rst index fe346bf2a2..60f8c9ad68 100644 --- a/docs/users_guide/index.rst +++ b/docs/users_guide/index.rst @@ -7,7 +7,7 @@ Welcome to the GHC Users Guide Contents: .. toctree:: - :maxdepth: 3 + :maxdepth: 4 :numbered: license |