Skip to content

Conversation

@bear8642
Copy link
Contributor

@bear8642 bear8642 commented Nov 4, 2025

As #585 specifies, remove redundant files.

I've used the link checker to confirm that none of the files cause any issues there.

@bear8642 bear8642 self-assigned this Nov 4, 2025
@bear8642 bear8642 linked an issue Nov 4, 2025 that may be closed by this pull request
@bear8642 bear8642 requested a review from xpqz November 4, 2025 12:09
Copy link
Collaborator

@xpqz xpqz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am not convinced this is safe -- specifically the changes to the disambiguation pages (the pages that only the CHM bundle sees).

@FionaDyalog
Copy link
Contributor

Let's come back to this after Dyalog v20.0 GA when we have the capacity to investigate this fully (including the CHM file generation).

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.

Housekeeping: remove files that are not required

4 participants