我正在使用 Python Doc Generator Sphinx创建 HTML 输出，并希望向内置搜索引擎添加更多方面（如最新更新或其他自定义过滤器），而不仅仅是使用关键字。有没有人用 Elastic Search 或其他具有多方面搜索功能的 3rd-party 引擎替换内置引擎？如果是这样，那该怎么做？
我正在使用 Python Doc Generator Sphinx创建 HTML 输出，并希望向内置搜索引擎添加更多方面（如最新更新或其他自定义过滤器），而不仅仅是使用关键字。有没有人用 Elastic Search 或其他具有多方面搜索功能的 3rd-party 引擎替换内置引擎？如果是这样，那该怎么做？