Add warning about unresolved links in documentation
fingolfin opened this issue · 0 comments
fingolfin commented
We could try to detect unresolved links in the documentation, and warn the user about them.
A simply approach would be to scan the finaly HTML files for <span class="RefLink">???</span>
(at least for packages using GAPDoc).
Another would be to scan the GAPDoc output, looking for WARNING: non resolved reference
.
Not sure how to deal with gapmacro output, but there is probably also a tell tale one could search for.