diff options
Diffstat (limited to 'docs/users_guide/flags.py')
| -rw-r--r-- | docs/users_guide/flags.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/flags.py b/docs/users_guide/flags.py index 6e8788df0a..66b0e92eff 100644 --- a/docs/users_guide/flags.py +++ b/docs/users_guide/flags.py @@ -259,9 +259,10 @@ class LanguageExtension(GenericFlag): targetname = '%s-%s' % (self.objtype, name) + # FIXME: This causes some Sphinx versions to fail # Add index entries for the -XFoo flag - self.indexnode['entries'].append(('pair', '-X%s; GHC option' % name, - targetname, '', None)) + #self.indexnode['entries'].append(('pair', '-X%s; GHC option' % name, + # targetname, '', None)) # Make this also addressable using :ghc-flag:-XFoo self.env.domaindata['std']['objects']['ghc-flag', '-X%s' % name] = \ |