Fix doc generation

thii · thii · commit 77155d9f8299 · 2022-07-29T12:26:58.000+09:00
providers.gen.md is a required runfile for the generation script.
diff --git 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"],
 )

Original file line number	Diff line number	Diff line change
`@@ -72,5 +72,5 @@ write_file(`
`72`	`72`	`sh_binary(`
`73`	`73`	`name = "update",`
`74`	`74`	`srcs = ["update.sh"],`
`75`		`- data = [file + ".md" for file in _DOC_SRCS],`
	`75`	`+ data = [file + ".md" for file in _DOC_SRCS] + ["providers.gen.md"],`
`76`	`76`	`)`