Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Deal with links that target PDF specs #508

Open
dontcallmedom opened this issue Dec 5, 2023 · 1 comment
Open

Deal with links that target PDF specs #508

dontcallmedom opened this issue Dec 5, 2023 · 1 comment
Labels
enhancement New feature or request

Comments

@dontcallmedom
Copy link
Member

dontcallmedom commented Dec 5, 2023 •
edited
Loading

see #505 (review)
dontcallmedom added a commit that referenced this issue Apr 4, 2024
@dontcallmedom
Ignore links to PDF
0756074 
part of #508
@dontcallmedom
Copy link
Member Author

the script now ignore PDF links; an improvement would be to check PDF anchors (with #page= - does the page exist? otherwise, does the PDF anchor exist?)

@dontcallmedom dontcallmedom added the enhancement New feature or request label Apr 4, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dontcallmedom