Hello,
We have a codebase mainly containing user-facing documentation for a set of command line tools, but which also contains a smaller section of developer API documentation.
When searching the documentation for information on a tool, Sphinx often ranks several results for developer API above the user-facing documentation, which rather annoys users.
Is there a reasonably simple way to prevent the developer documentation pages (which are contained in a single directory) from being listed in search results? Is there some configuration option like "'search_ignore': 'developer/*'"?
(An obvious alternative is to have two separate sets of documentation, perhaps with intersphinx links, given the two fairly separate use cases)
Regards,
Daniel