Skip to content

Conversation

@haszi
Copy link
Contributor

@haszi haszi commented Nov 19, 2025

Generate full index for partial rendering to avoid out of tree xref elements being swallowed by the renderer.

Inline the make_reader function as it is now only used in one place.

@alfsb
Copy link
Member

alfsb commented Nov 19, 2025

Tested locally. No textual differences between full builds (without --partial), and all textual differences with --partial appear to be corrected ones.

@haszi
Copy link
Contributor Author

haszi commented Nov 22, 2025

If there are no objections, I will be merging this around the middle of next week.

@haszi haszi merged commit 88e529b into php:master Nov 26, 2025
7 checks passed
@haszi haszi deleted the Fix-GH-202 branch November 26, 2025 19:17
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