Hyperlink in coqdoc

Using Coq
1

How do I make coqdoc to output HTML:

For more information, visit
<a href="https://example.com">https://example.com</a>

while keeping the Coq code readable (i.e. without escaping)?

1 Like
2

Run into this problem, ended up with

#<a href="https://example.com">https://example.com</a>#
%\url{https://example.com}%

which seems doubly worse.