Skip to content

Commit f6ed806

Browse files
authored
Add generated comment in generated file (#1894)
Avoids people sending PRs against generated content
1 parent a7a00b6 commit f6ed806

2 files changed

Lines changed: 7 additions & 1 deletion

File tree

docs/BUILD

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,11 @@ load("@io_bazel_stardoc//stardoc:stardoc.bzl", "stardoc")
66
write_file(
77
name = "gen_header",
88
out = "header.vm",
9-
content = ["${moduleDocstring}"],
9+
content = [
10+
"<!-- Generated with Stardoc, Do Not Edit! -->",
11+
"",
12+
"${moduleDocstring}",
13+
],
1014
)
1115

1216
stardoc(

docs/container.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
<!-- Generated with Stardoc, Do Not Edit! -->
2+
13

24
Generated API documentation for rules that manipulating containers.
35

0 commit comments

Comments
 (0)