You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When a page is set as main_page, its content is displayed on
index.html and no separate page file is generated. Update
TopLevel#path to return index.html for the main_page so all
consumers (cross-references, sidebar links, table of contents,
search records) automatically generate correct links.
Also tighten the generate_file_files skip to only apply to text
pages, preventing accidental skipping if a source file is set as
main_page.
0 commit comments