Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI/verify-titles: verify that page titles match what SUMMARY says #333

Merged
merged 2 commits into from
Dec 14, 2023

Conversation

bagder
Copy link
Member

@bagder bagder commented Dec 14, 2023

The web version renders using the SUMMARY title and ignores the file title.

The PDF and ePUB versions use the file titles.

They ought to be the same.

@bagder bagder changed the title CI/verify-titles: verify that page tiles match what SUMMARY says CI/verify-titles: verify that page titles match what SUMMARY says Dec 14, 2023
The web version renders using the SUMMARY title and ignores the file
title.

The PDF and ePUB versions use the file titles.

They ought to be the same.
@bagder bagder force-pushed the bagder/verify-titles branch from e30b290 to c0b8b26 Compare December 14, 2023 16:55
@bagder bagder merged commit e8851d0 into master Dec 14, 2023
7 checks passed
@bagder bagder deleted the bagder/verify-titles branch December 14, 2023 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant