Skip to content

Conversation

Buzzardo
Copy link

@Buzzardo Buzzardo commented Apr 17, 2023

and some other problems.

Some problems cannot be fixed, because we use the same file
for both the single-file output and the multi-file output. That
makes some of the anchors impossible to find in the multi-file
output. I'll look into a solution for that.

and some other problems.

Some problems cannot be fixed.
See the comment for details.
@fmbenhassine
Copy link
Contributor

Great! Thank you for restoring the toggle! Rebased and merged as 851bf70.

I also created an improvement request related to that, see #4357.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants