Inaki Fernandez baf117fa61 fix(v2): add Awesome Lists to the Portal Guide quick-nav popover ...

The top horizontal bar is a custom quick-nav (docs/overrides/main.html), not
Material's tab bar (navigation.tabs is disabled). Its "Portal Guide" popover was
hardcoded with Topic Map/Methodology/Tags/About and did not include Awesome
Lists — so the earlier MkDocs nav change wasn't visible there.

- Add "⭐ Awesome Lists" to the Portal Guide popover (after Topic Map).
- Make the sidebar nav durable too: add the top-level "⭐ Awesome Lists" entry
  and the Portal Guide "Awesome Lists" child to _sync_enterprise_navigation, and
  exclude other-awesome-lists.md from its dimension via _FIXED_PAGES, so a full
  pipeline run no longer wipes these entries.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

2026-06-25 18:43:07 +02:00

15 KiB

Raw Permalink Blame History

View Raw