docs: add docs about GUI

2025-08-08 21:44:47 +02:00 · 2019-08-25 20:32:41 +01:00
parent ed85092edb
commit a3faf98aa0
4 changed files with 109 additions and 0 deletions
--- a/bin/make_manual.py
+++ b/bin/make_manual.py
@ -18,6 +18,7 @@ docs = [
    "docs.md",
    "remote_setup.md",
    "filtering.md",
+    "gui.md",
    "rc.md",
    "overview.md",
    "flags.md",