diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-10-26 19:11:58 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-10-26 19:12:53 -0400 |
| commit | 160a4911f8a90e0f54d13b2aa0f6f70ebdfd1020 (patch) | |
| tree | 303328fb221cad20e7cc2dbf151fd886c9579326 | |
| parent | d91a6b6c1d7699b6e9ace1988974d4453a20dab6 (diff) | |
| download | haskell-160a4911f8a90e0f54d13b2aa0f6f70ebdfd1020.tar.gz | |
users-guide: Disable index node generation
This is breaking the build on some platforms. It's unclear exactly why but I
don't have time to investigate at the moment.
| -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] = \ |