diff options
author | Dean Deng <deandeng@google.com> | 2020-06-30 11:24:10 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-06-30 11:25:55 -0700 |
commit | dce2dfae046cdc29b2ac3b949a76d6b0ee2348a5 (patch) | |
tree | 020045ba20b3aadc7acb50dec0bd03c8098cb00d /g3doc/BUILD | |
parent | 5b0d8ff6919a071effb9cf69ad715487f55ca2f3 (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/BUILD')
-rw-r--r-- | g3doc/BUILD | 9 |
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", +) |