[haddock @ 2002-07-25 14:37:28 by simonmar]

Patch to allow simple hyperlinking to an arbitrary location in another
module's documentation, from Volker Stolz.

Now in a doc comment:

  #foo#

creates

  <a name="foo"></a>

And you can use the form "M\#foo" to hyperlink to the label 'foo' in
module 'M'.  Note that the backslash is necessary for now.

0 files changed, 0 insertions, 0 deletions