diff options
author | Ian Lewis <ianlewis@google.com> | 2020-08-04 01:05:42 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-08-04 01:07:42 -0700 |
commit | a02b7534f21d4f963ace890e80d7bf17e0d5d10f (patch) | |
tree | 26a5d8a6aa4854f41523a098b8f979e4619bfd57 /g3doc/BUILD | |
parent | 25798f214c6d1991916906ea8fca9e7029a8c423 (diff) |
Fix grouping and ordering of website menus
Groups subcategories and sorts their pages by weight properly. Subcategories
are sorted by name. Pages within subcategories are sorted by weight.
PiperOrigin-RevId: 324766128
Diffstat (limited to 'g3doc/BUILD')
-rw-r--r-- | g3doc/BUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/g3doc/BUILD b/g3doc/BUILD index c315d38be..f91a77b6f 100644 --- a/g3doc/BUILD +++ b/g3doc/BUILD @@ -31,7 +31,7 @@ doc( category = "Project", permalink = "/community/", subcategory = "Community", - weight = "95", + weight = "10", ) doc( @@ -40,5 +40,5 @@ doc( category = "Project", permalink = "/community/style_guide/", subcategory = "Community", - weight = "10", + weight = "99", ) |