summaryrefslogtreecommitdiff
path: root/doc/_extensions/pyjsdoc
AgeCommit message (Collapse)Author
2021-05-04[MOV] doc: move documentation to a dedicated repositoryVictor Feyens
In odoo/documentation-user#945, the developer documentation is merged with the user documentation in a single repository and build config. This commit then removes source files for the developer documentation from the odoo/odoo repository. DOC PR: https://github.com/odoo/documentation-user/pull/945 task-2351938 task-2352371 task-2205684 task-2352544 Co-authored-by: Victor Feyens <vfe@odoo.com> Co-authored-by: Antoine Vandevenne <anv@odoo.com>
2017-10-10[FIX] building documentation with P3Xavier Morel
* fix P3 incompatibilities in doc/_extensions * vendor pyjsdoc, strip out everything we're not using and make what's left P3-compatible (upstream is not P3 compliant) * drop undeclared dependency on attrs as it turns out not to be much used