Add generated comment in generated file

Avoids people sending PRs against generated content
bazelbuild · Jun 15, 2021 · e8c0c57 · e8c0c57
1 parent 454981e
commit e8c0c57
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/docs/BUILD b/docs/BUILD
@@ -6,7 +6,11 @@ load("@io_bazel_stardoc//stardoc:stardoc.bzl", "stardoc")
 write_file(
     name = "gen_header",
     out = "header.vm",
-    content = ["${moduleDocstring}"],
+    content = [
+        "<!-- Generated with Stardoc, Do Not Edit! -->",
+        "",
+        "${moduleDocstring}",
+    ],
 )
 
 stardoc(