summaryrefslogtreecommitdiffhomepage
path: root/g3doc
diff options
context:
space:
mode:
authorDean Deng <deandeng@google.com>2020-06-30 11:24:10 -0700
committergVisor bot <gvisor-bot@google.com>2020-06-30 11:25:55 -0700
commitdce2dfae046cdc29b2ac3b949a76d6b0ee2348a5 (patch)
tree020045ba20b3aadc7acb50dec0bd03c8098cb00d /g3doc
parent5b0d8ff6919a071effb9cf69ad715487f55ca2f3 (diff)
Add build target for the provisional style guide.
This includes the provisional style guide in the website and fixes the broken link from CONTRIBUTING.md. The style guide will be located under the "Community" category as it's related to contributing to the project. Also, add missing includes that were causing some presubmits to fail. PiperOrigin-RevId: 319061410
Diffstat (limited to 'g3doc')
-rw-r--r--g3doc/BUILD9
1 files changed, 9 insertions, 0 deletions
diff --git a/g3doc/BUILD b/g3doc/BUILD
index dbbf96204..c315d38be 100644
--- a/g3doc/BUILD
+++ b/g3doc/BUILD
@@ -33,3 +33,12 @@ doc(
subcategory = "Community",
weight = "95",
)
+
+doc(
+ name = "style",
+ src = "style.md",
+ category = "Project",
+ permalink = "/community/style_guide/",
+ subcategory = "Community",
+ weight = "10",
+)