Update.

2026-01-26 16:28:49 +01:00
parent a96a518d42
commit 72cde36478
79 changed files with 5813 additions and 442 deletions
@@ -23,7 +23,7 @@ all.add(" - websocket library")
 all.add("")
 all.add("## Documentation")

-for (path in Path.new("manual").rglob("*.html")) {
+for (path in Path.new("bin/manual").rglob("*.html")) {
    all.add("### " + path.name)
    all.add("```html```")
    all.add(path.readText())