def add_docs()

in _tools/createdatadocs.py [0:0]


def add_docs(docs_in_order, doc):
    docs_in_order.append(doc)
    for doc in doc['children']:
        add_docs(docs_in_order, doc)