From 160a4911f8a90e0f54d13b2aa0f6f70ebdfd1020 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Thu, 26 Oct 2017 19:11:58 -0400 Subject: 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. --- docs/users_guide/flags.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'docs/users_guide/flags.py') 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] = \ -- cgit v1.2.1