Skip to content
Snippets Groups Projects
Select Git revision
  • dualcore
  • ch3/leds
  • wip-bootstrap default
  • ch3/time
  • master
5 results

docs

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Paul Sokolovsky authored
    For modindex_exclude extension, per-port module excludes are also added.
    With these changes, it's possible to generate docs for a particular port
    devoid of any superfluous and unrelated content, including in indexes and
    full-text search - with small caveat: when generating PDF docs after HTML,
    or vice-versa cached internal doctree representation (build/*/doctrees/)
    must be removed first.
    91031b60
    History
    Name Last commit Last update
    ..