diff options
Diffstat (limited to 'website')
-rw-r--r-- | website/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/website/BUILD b/website/BUILD index d5315abce..b5b3f6df6 100644 --- a/website/BUILD +++ b/website/BUILD @@ -147,6 +147,7 @@ docs( "//g3doc/architecture_guide:platforms", "//g3doc/architecture_guide:resources", "//g3doc/architecture_guide:security", + "//g3doc/proposals:gsoc_2021", "//g3doc/user_guide:FAQ", "//g3doc/user_guide:checkpoint_restore", "//g3doc/user_guide:compatibility", |