|
Kodi Docs 20.0
Kodi is an open source media player and entertainment hub.
|
Functions | |
| def | md_to_html_heading (line) |
| def | code (line) |
| def | note_to_doxygen_note (line) |
| def | remove_navigation_links (line) |
| def | drop_toc (line) |
| def | rewrite_images (line) |
| def | cleanup (content) |
Variables | |
| list | gh_pages |
| output_file = os.path.join("pages", "generated", page[0] + ".dox") | |
| content = None | |
| navtree = None | |
| list | new_navtree = [] |
| def build.cleanup | ( | content | ) |
| def build.code | ( | line | ) |
| def build.drop_toc | ( | line | ) |
| def build.md_to_html_heading | ( | line | ) |
| def build.note_to_doxygen_note | ( | line | ) |
| def build.remove_navigation_links | ( | line | ) |
| def build.rewrite_images | ( | line | ) |
| def build.content = None |
| list build.gh_pages |
| build.navtree = None |
| list build.new_navtree = [] |
| build.output_file = os.path.join("pages", "generated", page[0] + ".dox") |