The Coq mailing list

[Benedikt Ahrens <benedikt.ahrens AT gmx.net>]

Hello,

running coqdoc with options -utf8 and -interpolate on the following Coq
code will result in an HTML file where "[phi]" in the comment is turned
into a link, but not any of the variants containing a unicode \varphi.

======= Utest.v
Definition phi := 1.
Definition ϕ := 1.
Definition ϕ2 := 1.
(** [phi] [ϕ] [ϕ2] *)
=======

The exact commands I am using are
$ coqc Utest.v
$ coqdoc - utf8 -interpolate Utest.v

The Coq version I have tried is
commit 6e0c5c81e9e81c2e5369427643b2ac51b9aa17e6 .

Is there a way to obtain links for the latter two, too?

Thanks a lot,
Benedikt