diff --git a/website/prebuild.py b/website/prebuild.py index a2d56657aba2..80fca1e7ab07 100755 --- a/website/prebuild.py +++ b/website/prebuild.py @@ -201,7 +201,6 @@ def main() -> None: label_subdir( "toolchain/docs", next(nav_order), parent_title="Implementation" ) - label_subdir("explorer", next(nav_order), parent_title="Implementation") label_subdir("testing", next(nav_order), parent_title="Implementation")