The Coq mailing list

[carlos AT math.unice.fr]

What is the exact procedure for obtaining internal hyperlinks
(i.e.  hyperlinks from an occurence of a constant to the place
it is defined either in the same file or in a different file)
using coqdoc?
I encountered a problem trying to follow the instructions in
the refernce manual; see my bug report for an example.
If anybody has a quick suggestion about this thanks in advance!
---Carlos Simpson