1 files changed, 9 insertions, 1 deletions
diff --git a/website/defs.bzl b/website/defs.bzl
index f52946c15..703040882 100644
--- a/website/defs.bzl
+++ b/website/defs.bzl
@@ -7,6 +7,7 @@ load("//tools:defs.bzl", "short_path")
 # dynamically. This is done the via BUILD system so that the plain
 # documentation files can be viewable without non-compliant markdown headers.
 DocInfo = provider(
+    "Encapsulates information for a documentation page.",
     fields = [
         "layout",
         "description",
@@ -16,6 +17,7 @@ DocInfo = provider(
         "weight",
         "editpath",
         "authors",
+        "include_in_menu",
     ],
 )
 
@@ -33,6 +35,7 @@ def _doc_impl(ctx):
             weight = ctx.attr.weight,
             editpath = short_path(ctx.files.src[0].short_path),
             authors = ctx.attr.authors,
+            include_in_menu = ctx.attr.include_in_menu,
         ),
     ]
 
@@ -74,6 +77,10 @@ doc = rule(
             default = "50",
         ),
         "authors": attr.string_list(),
+        "include_in_menu": attr.bool(
+            doc = "Include document in the navigation menu.",
+            default = True,
+        ),
     },
 )
 
@@ -111,7 +118,8 @@ subcategory: {subcategory}
 weight: {weight}
 editpath: {editpath}
 authors: {authors}
-layout: {layout}"""
+layout: {layout}
+include_in_menu: {include_in_menu}"""
 
         for f in dep.files.to_list():
             # Is this a markdown file? If not, then we ensure that it ends up