Splitting API docs into a general user and a developer document

2022-02-20 17:20:56 +01:00 · 2022-02-20 17:20:56 +01:00 · e244db9599
parent c499059d98
commit e244db9599
3 changed files with 1556 additions and 1549 deletions
--- a/docs/client_api.md
+++ b/docs/client_api.md
--- a/docs/developer_api.md
+++ b/docs/developer_api.md
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -52,7 +52,9 @@ nav:
      - downloader_completion.md
      - Sharing: downloader_sharing.md
      - downloader_login.md
-  - API: client_api.md
+  - API: 
+    - client_api.md
+    - developer_api.md
  - Misc:
    - faq.md
    - privacy.md