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 /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 'BUILD')
-rw-r--r-- | BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ doc( permalink = "/community/governance/", subcategory = "Community", visibility = ["//website:__pkg__"], - weight = "91", + weight = "20", ) doc( |