docs: add dedicated pdf tool docs page

2026-03-03 04:07:00 +00:00
parent 6cdfd2eaaa
commit d9d604c6ad
4 changed files with 159 additions and 15 deletions
--- a/docs/docs.json
+++ b/docs/docs.json
@@ -994,6 +994,7 @@
                  "brave-search",
                  "perplexity",
                  "tools/diffs",
+                  "tools/pdf",
                  "tools/elevated",
                  "tools/exec",
                  "tools/exec-approvals",