doc/share/gnu_free_documentation_license.rst
doc/share/ada_pygments.py
doc/share/favicon.ico
doc/share/latex_elements.py
doc/share/sphinx.sty