diff options
Diffstat (limited to 'docs/users_guide/index.rst')
| -rw-r--r-- | docs/users_guide/index.rst | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/users_guide/index.rst b/docs/users_guide/index.rst index 444a20c72e..90baa32ddc 100644 --- a/docs/users_guide/index.rst +++ b/docs/users_guide/index.rst @@ -15,10 +15,9 @@ Contents: ghci runghc usage - profiling - lang - ffi-chap + exts extending_ghc + profiling debug-info gone_wrong hints |