Skip to content

Update index.html - #28

Merged
pdimov merged 1 commit into
boostorg:developfrom
ashtum:patch-1
Apr 3, 2025
Merged

Update index.html#28
pdimov merged 1 commit into
boostorg:developfrom
ashtum:patch-1

Conversation

@ashtum

@ashtum ashtum commented Apr 3, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@pdimov

pdimov commented Apr 3, 2025

Copy link
Copy Markdown
Member

Interestingly, the current index.html appears to work, even though it's no longer "correct". I wonder why.

@pdimov
pdimov merged commit e988ef9 into boostorg:develop Apr 3, 2025
@ashtum

ashtum commented Apr 3, 2025

Copy link
Copy Markdown
Contributor Author

Interestingly, the current index.html appears to work, even though it's no longer "correct". I wonder why.

I believe it is the meta refresh tag that performs the redirect, and its URL is correct. I fixed the link URL because that's what boost-gecko uses to reach the related documentation pages.

<meta http-equiv="refresh" content="0; URL=doc/html/array.html">

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