commit 69895bae152a30df296ed1f61768e350e8b6b48a
author fweikert <fwe@google.com> Wed Jul 13 04:56:04 2022 -0700
committer Copybara-Service <copybara-worker@google.com> Wed Jul 13 04:57:08 2022 -0700
tree dd5905e764a1c056c14b14563d286553a79aa952
parent 13fe71173e8763c5037d245ca2d26630b68dc6d2

Add script to build release documentation

The script builds a snapshot of the documentation, based on the state in the release branch.
Next, it rewrites all links to point to the versioned documentation for that release.
Finally, it creates an archive of all documentation files.

Closes #15686.

PiperOrigin-RevId: 460684222
Change-Id: Ic466e9e72cc862079f0551703fc2a16701888a2e

scripts/BUILD

diff --git a/scripts/BUILD b/scripts/BUILD
index 168c30b..c477439 100644
--- a/scripts/BUILD
+++ b/scripts/BUILD
@@ -39,6 +39,7 @@
 filegroup(
     name = "srcs",
     srcs = glob(["**"]) + [
+        "//scripts/docs:srcs",
         "//scripts/packages:srcs",
         "//scripts/release:srcs",
         "//scripts/zsh_completion:srcs",