mirror of
https://github.com/serokell/xrefcheck.git
synced 2024-10-26 15:35:29 +03:00
Check cross-references in repository documents
a1ef695598
When one has several anchors with the same name, github disambiguates them automatically, but referencesto such anchors stay fragile. Now when such anchors are referenced then an verification error is dropped. Also, no more wrong "anchor does not exist" error when a github-dedupicated anchor is referenced (the link was valid, but since in our vision anchors couldn't be renamed automatically, we treated those link as invalid). |
||
---|---|---|
exec | ||
src/Crv | ||
tests | ||
.crossref-verifier.yaml | ||
.gitignore | ||
LICENSE | ||
package.yaml | ||
README.md | ||
Setup.hs | ||
stack.yaml |