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 -- 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/ca06082a-010c-44f1-8f2b-c2dece4380ecn%40googlegroups.com.
