The easiest way to get the right module path to refer to a
documentation section is click the section title. For example, if you
click on
XML: Parsing and Writing
then this text will appear below the title:
Link to this document with
@other-doc['(lib "xml/xml.scrbl")]
It looks like "doc.racket-lang.com" is a broken default inside Scribble
when you run just `raco scribble`. I'll fix that default. Fortunately,
though, when documentation is rendered as part of a collection, it uses
the right URL.
At Wed, 24 Feb 2016 22:40:31 -0500, Neil Van Dyke wrote:
> From the Scribble documentation for a third-party package, how do I
> link to:
> * a core Racket document; and
> * the documentation for a third-party package from the catalog?
> Ideally, in both cases it would go to locally-installed documentation,
> if available, and fallback to "docs.racket-lang.org" if necessary.
>
> For example... I want to link to the core Racket "xml" document, and am
> having two problems:
> * `other-doc` generates URLs for "doc.racket-lang.com" rather than for
> "doc.racket-lang.org"; and
> * none of the below gets the right URL, even if the ".com" is manually
> edited to ".org".
>
> @item{@other-doc['xml #:indirect "XML: Parsing and Writing"]}
> @item{@other-doc['racket-doc/xml #:indirect "XML: Parsing and Writing"]}
> @item{@other-doc['racket-doc/xml/xml #:indirect "XML: Parsing and Writing"]}
> @item{@other-doc['(lib "racket-doc/xml/xml.scrbl") #:indirect "XML:
> Parsing and Writing"]}
>
> Neil V.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
