Open
Description
Clarification and motivation
HTML tags can be used in a markdown file.
For example, in our own readme, we have a <img>
tag:
<img src="https://user-images.githubusercontent.com/5394217/70820564-06b06e00-1dea-11ea-9680-27f661ca2a58.png" alt="Output sample" width="600"/>
We should add support for basic HTML tags (embedded in markdown files), such as:
- images:
<img src="link">
- anchors hyperlinks:
<a href="link">Text</a>
- anchor target locations:
<a name="loc">
or<a id="loc">
- we already support anchor target locations in markdown headers (see example), but now we should support them everywhere
We should investigate which other tags we want to support.
Acceptance criteria
xrefcheck
verifies whether anchors and image tags (and possibly others) are valid.