# Hyperlink in coqdoc

**URL:** <https://discourse.rocq-prover.org/t/hyperlink-in-coqdoc/498>\
**Category:** Using Rocq\
**Created:** [November 14, 2019, 4:22am UTC](https://discourse.rocq-prover.org/t/hyperlink-in-coqdoc/498 "2019-11-14T04:22:14Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Lys](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/lys/32/48_2.png) [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Post date:** [November 14, 2019, 4:22am UTC](https://discourse.rocq-prover.org/t/hyperlink-in-coqdoc/498/1 "2019-11-14T04:22:14Z")

</div>

How do I make coqdoc to output HTML:

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

```

while keeping the Coq code readable (_i.e._ without [escaping](https://coq.inria.fr/refman/practical-tools/utilities.html#escaping-to-latex-and-html))?

---

<div class="post-metadata">

**Author:** ![Blaisorblade](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/blaisorblade/32/56_2.png) [@Blaisorblade](https://discourse.rocq-prover.org/u/Blaisorblade)\
**Post date:** [July 12, 2020, 10:45pm UTC](https://discourse.rocq-prover.org/t/hyperlink-in-coqdoc/498/2 "2020-07-12T22:45:24Z")

</div>

Run into this problem, ended up with

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

```

which seems doubly worse.