Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Improve docs/find-missing
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Jan 2020 21:40:15 +0000 (22:40 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 10 Jan 2020 10:27:03 +0000 (11:27 +0100)
commit2ce174fe8395ed8a4871f9532997c0147739af6c
treeaeeff6618da971e3fbe3ea9fbb91f9ab4f14211f
parent08ff0d7bd312919afa6ffe33b79e9dc6d27e90ce
Improve docs/find-missing

- automatically extend PYTHONPATH on need. The python lib is searched
  in the ../lib directory. If it's not there, add a symlink
- ignore some autodoxy symbols. Just add them in find-missing.ignore
docs/find-missing.ignore [new file with mode: 0644]
docs/find-missing.py