Skip to content
This repository has been archived by the owner on Apr 12, 2024. It is now read-only.

Check external links #14

Open
bebraw opened this issue Sep 7, 2020 · 0 comments
Open

Check external links #14

bebraw opened this issue Sep 7, 2020 · 0 comments
Labels
enhancement New feature or request

Comments

@bebraw
Copy link
Member

bebraw commented Sep 7, 2020

There's a link stub for this. The idea is to use hyperlink package for this. Another interesting option would be to do the link checks as a side effect during compilation.
@bebraw bebraw added the enhancement New feature or request label Sep 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bebraw