diff options
| author | Jim Newsome <jnewsome@torproject.org> | 2023-11-08 16:31:18 -0600 |
|---|---|---|
| committer | Jim Newsome <jnewsome@torproject.org> | 2023-11-08 16:31:18 -0600 |
| commit | 7a606730217f3a1a067e6f1494384a89d6266d9b (patch) | |
| tree | 0e3991d05285605f615f6febfc8552a70a4f8bde /bin | |
| parent | 74c86c007a5dd43b4e1652f6afc50ac8cd49ddd6 (diff) | |
| download | torspec-7a606730217f3a1a067e6f1494384a89d6266d9b.tar.gz torspec-7a606730217f3a1a067e6f1494384a89d6266d9b.zip | |
check_links: print cross-reference
Diffstat (limited to 'bin')
| -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 d9ba4c3..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 |