Skip to content
Snippets Groups Projects
  1. Aug 19, 2023
  2. Aug 16, 2023
  3. Aug 15, 2023
  4. Aug 11, 2023
  5. Aug 10, 2023
  6. Aug 09, 2023
    • Brad King's avatar
      ci: Suppress cmake.org html documentation search results for index entries · fbed0431
      Brad King authored
      Since Sphinx 5.2.0, the generated html search page reports all index
      entries that match a query term.  Unfortunately even non-main entries
      get a high score, placing them before more important search results
      such as document titles and domain object names.
      
      Work around this for documentation published on `cmake.org` by removing
      the logic from `searchtools.js` in the generated html documentation.
      
      Issue: #25175
      fbed0431
  7. Aug 08, 2023
  8. Aug 07, 2023
  9. Aug 06, 2023
Loading