From 77155d9f82996d95e1f6cd944e4acbe5cd637f59 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thi=20Do=C3=A3n?= Date: Fri, 29 Jul 2022 11:46:24 +0900 Subject: [PATCH] Fix doc generation providers.gen.md is a required runfile for the generation script. --- doc/BUILD.bazel | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/BUILD.bazel b/doc/BUILD.bazel index 00929b469c..6397c3f8b2 100644 --- a/doc/BUILD.bazel +++ b/doc/BUILD.bazel @@ -72,5 +72,5 @@ write_file( sh_binary( name = "update", srcs = ["update.sh"], - data = [file + ".md" for file in _DOC_SRCS], + data = [file + ".md" for file in _DOC_SRCS] + ["providers.gen.md"], )