Skip to content

Make Install the first Packages menu entry - #26

Closed
VolkerChristian wants to merge 1 commit into
mainfrom
polish/packages-install-entry
Closed

VolkerChristian wants to merge 1 commit into
mainfrom
polish/packages-install-entry

Conversation

@VolkerChristian

Copy link
Copy Markdown
Member

Make Install the first Packages README menu entry by removing the redundant Start button through the existing page-header generator. The menu-removal authority stays in navigation/plan.yml. Root README.md is already processed by the generator; allow it in declared menu-change validation without adding another rendering implementation.

Files:

  • navigation/plan.yml: Packages root Start/#quick-start removal rule.
  • tools/snodec_sync/navigation.py: allow the existing root README as a menu-change target.
  • tests/test_navigation.py: verify root Start removal, preserved other navigation and no drift.

Verification:

  • python3 tools/snodec_sync check and profile, then git diff --exit-code profile/README.md: passed, no profile change.
  • python3 -m unittest discover -s tests -v: 73 passed.
  • python3 tools/snodec_sync page-headers --repo . --check: passed.
  • python3 tools/snodec_sync docs-audit --repo .: 0 violations.
  • Generated DistributionPackages/site via page-headers --repo <DistributionPackages>/site; subsequent check passes.
  • git diff --cached --check: passed.

Production Python +1/-1 (net zero); tests +11/-0. No settings, tag changes, workflow dispatches, merges or direct Packages edits. The companion DistributionPackages PR removes authored Quick start content and carries the generator-produced menu removal.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant