1doc/share/gnu_free_documentation_license.rst 2doc/share/ada_pygments.py 3doc/share/favicon.ico 4doc/share/latex_elements.py 5doc/share/sphinx.sty 6 7