summaryrefslogtreecommitdiff
path: root/doc/tools/doc_merge.py
AgeCommit message (Collapse)Author
2015-12-13Add a Makefile to generate classes doc in various formatsRémi Verschelde
All the generated documentation is put in doc/_build.
2015-12-12Move documentation python tools to doc/tools folderRémi Verschelde