Skip to content

Conversation

@ashtum
Copy link

@ashtum ashtum commented May 31, 2023

Makes redirect in index.html consistent with other boost libraries. This also works when browsing HTML files locally (release archive).

@ashtum
Copy link
Author

ashtum commented May 31, 2023

By the way, I encountered this issue while working on a crawler to generate search indexing from QuickBook-based libraries.

@apolukhin apolukhin merged commit 62a3c9e into boostorg:develop Aug 12, 2023
@apolukhin
Copy link
Member

Many thanks for the PR!

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.

2 participants