Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
include a copy of javasphinx so that we can fix it on need
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Sep 2020 13:52:58 +0000 (15:52 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Sep 2020 13:52:58 +0000 (15:52 +0200)
commitb31da7a1c205fdc49fcbef81a505fd2248e8b152
tree7773b4cee5e109a70577587687dde1498e1920ae
parentea493595cfebbf988877e9de85ffc56a01e3f46e
include a copy of javasphinx so that we can fix it on need
17 files changed:
docs/Build.sh
docs/requirements.txt
docs/source/_ext/javasphinx/.gitignore [new file with mode: 0644]
docs/source/_ext/javasphinx/LICENSE [new file with mode: 0644]
docs/source/_ext/javasphinx/MANIFEST.in [new file with mode: 0644]
docs/source/_ext/javasphinx/README.md [new file with mode: 0644]
docs/source/_ext/javasphinx/doc/conf.py [new file with mode: 0644]
docs/source/_ext/javasphinx/doc/index.rst [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/__init__.py [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/apidoc.py [new file with mode: 0755]
docs/source/_ext/javasphinx/javasphinx/compiler.py [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/domain.py [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/extdoc.py [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/formatter.py [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/htmlrst.py [new file with mode: 0644]
docs/source/_ext/javasphinx/javasphinx/util.py [new file with mode: 0644]
docs/source/_ext/javasphinx/setup.py [new file with mode: 0644]