|  | 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") |