pigweed.json: Add "docs" program

Bug: b/372035428 Change-Id: I94f96a492283c2d128e6e1a594d5341796896d3e Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/240752 Presubmit-Verified: CQ Bot Account <[email protected]> Commit-Queue: Rob Mohr <[email protected]> Docs-Not-Needed: Rob Mohr <[email protected]> Reviewed-by: Ted Pudlik <[email protected]> Lint: Lint 🤖 <[email protected]> Pigweed-Auto-Submit: Rob Mohr <[email protected]>
google · Oct 8, 2024 · e3f0f42 · e3f0f42
1 parent d8a6c4d
commit e3f0f42
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/pigweed.json b/pigweed.json
@@ -166,6 +166,12 @@
  "//..."
  ]
  ],
+ "docs": [
+ [
+ "build",
+ "//docs"
+ ]
+ ],
  "integration": [
  [
  "test",