gerrit.named-data.net / PSync / 35488926c74fdb965900e4f0a7cbc0016f085185 / .waf-tools / sphinx.py