Skip to content

Commit

Permalink
impl-comment
Browse files Browse the repository at this point in the history
  • Loading branch information
jonmeow committed Aug 7, 2024
1 parent db1d061 commit fd070d4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions website/prebuild.py
Original file line number Diff line number Diff line change
Expand Up @@ -167,6 +167,7 @@ def next(nav_order: list[int]) -> int:
label_subdir("docs/guides", next(nav_order))
label_subdir("docs/project", next(nav_order), grandchild_dirs=True)
label_subdir("docs/spec", next(nav_order))
# Provide a small file to cluster implementation-related directories.
label_root_file(
"implementation.md",
"Implementation",
Expand Down

0 comments on commit fd070d4

Please sign in to comment.