Uh oh!
There was an error while loading. Please reload this page.
gh-93851: Add Tools/scripts/checkhtmllinks.py - #93856
Conversation
CAM-Gerlach
commented
Oct 7, 2022
Could you explain how this is necessary when we can just use Sphinx's built-in |
arhadthedev
commented
Oct 8, 2022
Generated parts of HTML pages and external links also need to be checked. According to a size of gh-93853, we need either a tool like the one in this PR or a Sphinx extension. |
I'm afraid I'm still confused. If a link is an external link in the source (even generated by standard or most third-party roles), it will be caught by @AA-Turner is there something I'm missing here? |
arhadthedev
commented
Oct 12, 2022
My apologises, I've totally missed this part of your first comment:
|
Broken links from a parent issue were found using this tool.
Example output for python Tools/scripts/checkhtmllinks.py -l50 build/doc-html/using/*.html