Thanks for the answers, I decided to do a directive to mark a document as deprecated. In this directive, I add the current document to an environment configuration. Then in "build-finished" event I process the searchindex.js and remove the entry I previously listed in my environment configuration variable.
Thanks a lot! Le lundi 21 janvier 2019 17:15:56 UTC+1, Komiya Takeshi a écrit : > > Hi Maxime, > > Unfortunately, there are no way to exclude arbitrary page from search. > But there are good extension to mark a page deprecated: > > https://groups.google.com/forum/#!searchin/sphinx-users/redirect%7Csort:date/sphinx-users/ibeWMFrDalU/ekLob64JCAAJ > > > Thanks, > Takeshi KOMIYA > > 2019年1月16日(水) 23:21 Maxime Adam <[email protected] <javascript:>>: > > > > Hi, I would like to remove a page from the search engine. The main > purpose is we don't want to break link over the web, but we need to > restructure our documentation so the old page will point to the new one, > (this is actually pretty easy to do and already done), we just don't want > to let documentation user reach this deprecated page within the doc. > > > > Maybe there is a way to mark a rst file as deprecated? > > > > Thanks a lot in advance. > > > > Best regards, > > Maxime. > > > > -- > > 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] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at https://groups.google.com/group/sphinx-users. > > For more options, visit https://groups.google.com/d/optout. > -- 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.
