Hi,
There is no way to disable the feature in the proper way.
As a workaround, the following code is able to do that.
def on_builder_inited(app):
if app.builder.name == 'html':
app.builder.search = False
def setup(app):
app.connect('builder-inited', on_builder_inited)
This is unofficial way. So I can't promiss you this works in future
version.
Please use this if you are okay to such a adhoc way.
Thanks,
Takeshi KOMIYA
2016年6月27日月曜日 6時28分13秒 UTC+9 [email protected]:
>
>
>
> Op zondag 20 maart 2016 22:26:14 UTC+1 schreef Andrea Cassioli:
>>
>> Hi,
>> I have removed the search box from my documentation. But I think the
>> search index is still generated. Indeed I see the files `search.html`
>> `searchindex.js` are still included.
>>
>> Is there any options I can set to completely disable the search index?
>>
>
> FWIW, I have the same question.
> So your answer would help at least two people.
>
>
> Cheers
> Geert Stappers
> Who got too many hits on 'sphinx no search' websearch to
> 'sphinx-search' :-/
>
--
You received this message because you are subscribed to the Google Groups
"sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sphinx-users.
For more options, visit https://groups.google.com/d/optout.
