Skip to content
Snippets Groups Projects
  1. Aug 21, 2023
  2. Aug 19, 2023
  3. Aug 18, 2023
  4. Aug 17, 2023
  5. Aug 16, 2023
  6. Aug 15, 2023
  7. Aug 11, 2023
  8. Aug 10, 2023
  9. 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
  10. Aug 08, 2023
Loading