gerrit.named-data.net / PSync / 6a562f0a766daa64771a86cf9a380bb42c4be897 / .waf-tools / sphinx.py