[ | |
{ "title": "User Guide", | |
"file": "{{ site.url }}/use/guide/index.html", | |
"children": {% readj ./guide/toc.json %} }, | |
{ "title": "Examples", | |
"file": "{{ site.url }}/use/examples/index.html", | |
"children": {% readj ./examples/toc.json %} }, | |
{ "title": "API Reference (javadoc)", | |
"file": "{{ site.url }}/use/api/index.html" }, | |
{ "title": "Discuss", | |
"file": "{{ site.url }}/use/contact.html" } | |
] |