users-guide: Remove static field type from rts-flag
authorBen Gamari <ben@smart-cactus.org>
Fri, 1 Jul 2016 12:56:01 +0000 (14:56 +0200)
committerBen Gamari <ben@smart-cactus.org>
Mon, 4 Jul 2016 21:35:25 +0000 (23:35 +0200)
This was introduced by a cut-and-paste error.

docs/users_guide/conf.py

index b2311c4..046b3c8 100644 (file)
@@ -172,7 +172,6 @@ def setup(app):
                         indextemplate='pair: %s; RTS option',
                         doc_field_types=[
                             Field('since', label='Introduced in GHC version', names=['since']),
-                            Field('static')
                         ])
 
 def increase_python_stack():