Skip to content

Conversation

@petk
Copy link
Member

@petk petk commented Sep 14, 2024

This URL is being removed from the docs in favor of the libedit library, a non-GPL replacement for the GNU Readline library.

This URL is being removed from the docs in favor of the libedit library,
a non-GPL replacement for the GNU Readline library.
@petk petk mentioned this pull request Sep 14, 2024
6 tasks
@cmb69
Copy link
Member

cmb69 commented Sep 14, 2024

Maybe wait with merging until at least some of the translations have been updated.

@philip
Copy link
Member

philip commented Feb 25, 2025

The entity is still used in reference/readline/setup.xml, so instead of removing the entity definition consider using a different entity in reference/readline/setup.xml?

@Girgias Girgias closed this May 20, 2025
@Girgias Girgias reopened this May 20, 2025
@Girgias
Copy link
Member

Girgias commented May 20, 2025

This seems to not even work for doc-en, thus closing.

@Girgias Girgias closed this May 20, 2025
@petk petk deleted the patch-readline branch May 20, 2025 22:15
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.

4 participants