Hi again, I'm one of the main contributors to Godot's documentation (https://docs.godotengine.org). Right now, we have our "user manual" and "class reference" pages under the same documentation site. This is convenient for linking across pages, but the search quality suffers as both "user manual" and "class reference" pages will appear in the search results without any way for the user to distinguish them. In fact, it's one of the most common complaints about our documentation system right now.
One of the first solutions we've tried was to use Intersphinx to separate the manual and class reference pages under different documentation sites. Unfortunately, given our documentation pages are also translated in multiple languages, we stumbled upon several limitations with it. This made it not a very reliable solution for our needs: https://github.com/godotengine/godot-docs/pull/3279 At the very least, we'd like to add a way to distinguish between manual and class reference pages in the search result (e.g. with a different icon next to each result). Ideally, we'd prefer to add a button so the user can hide manual or class reference results entirely from search. This can probably be done with some custom JavaScript code, which I can handle. Can this be achieved using a Sphinx extension, or will I have to create a custom search indexer from scratch to achieve this? PS: If this helps, all the class reference pages are under the same parent `classes/` folder (represented as "Godot API" in the sidebar) Thanks in advance for replying, Hugo Locurcio -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/cdf141b0-3a54-4e21-af95-64ba8538c205n%40googlegroups.com.
