diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-09 14:03:03 +0000 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-09 14:03:03 +0000 |
commit | a2d16774eb7da56903b2e8e7b23a1282cf55385a (patch) | |
tree | 2eb86ec6b409f009a1d8e5a481a63f3e4f1a296a /bin/check_links | |
parent | 4b245187d868a1b78d0a1f81c4a8b76efbcb7993 (diff) | |
parent | 560c34381a202fe54124cc300d2d40773bec235f (diff) | |
download | torspec-a2d16774eb7da56903b2e8e7b23a1282cf55385a.tar.gz torspec-a2d16774eb7da56903b2e8e7b23a1282cf55385a.zip |
Merge branch 'linklint' into 'main'
Fix linklint script and broken links
See merge request tpo/core/torspec!210
Diffstat (limited to 'bin/check_links')
-rwxr-xr-x | bin/check_links | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/check_links b/bin/check_links index 890ac30..9be7953 100755 --- a/bin/check_links +++ b/bin/check_links @@ -24,7 +24,7 @@ xargs -0r -- perl -i~ -pe ' s{\bid=("[^"]+")[^<>]*\>}{$&<a name=$1>}g; ' -linklint -out linklint.errors -error -root $chk_dir / +linklint -xref -out linklint.errors -error -root $chk_dir /@ cat linklint.errors |