Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
embeed the javasphinx module
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 28 Jun 2019 22:35:47 +0000 (00:35 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 29 Jun 2019 10:00:18 +0000 (12:00 +0200)
commit1b966519556d1141719b7829011cdde06b9a11d6
tree7ef4de88ef6d8b36d72341d1b8ee7ff570842a93
parent808e3788e31d306aa2d3f8c96122aa82346fbe0b
embeed the javasphinx module

I don't feel very good embeeding a software that was deprecated by its
sole author, but I don't see no alternative module, and we need it to
compile the documentation. I would like to distribute the
documentation as a Debian package (or maybe re-add it to the
tarballs), and I don't see any other options to get it working.
12 files changed:
docs/Build.sh
docs/requirements.txt
docs/source/_ext/javasphinx-apidoc [new file with mode: 0755]
docs/source/_ext/javasphinx/__init__.py [new file with mode: 0644]
docs/source/_ext/javasphinx/apidoc.py [new file with mode: 0644]
docs/source/_ext/javasphinx/compiler.py [new file with mode: 0644]
docs/source/_ext/javasphinx/domain.py [new file with mode: 0644]
docs/source/_ext/javasphinx/extdoc.py [new file with mode: 0644]
docs/source/_ext/javasphinx/formatter.py [new file with mode: 0644]
docs/source/_ext/javasphinx/htmlrst.py [new file with mode: 0644]
docs/source/_ext/javasphinx/util.py [new file with mode: 0644]
docs/source/conf.py