Last active
August 22, 2023 09:37
-
-
Save soegaard/070a9de04815c3979a431cdcce1597ae to your computer and use it in GitHub Desktop.
Example of seclink in Scribble files
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
How to render html document | |
I used | |
raco scribble --htmls seclink-main.rkt | |
to render the document as multiple html files. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#lang scribble/manual | |
@(require (for-label racket)) | |
@title[#:tag "ch:seclink-example"]{A Quick Example} | |
The construct @racket[seclink] can be used to make a link to a tagged section. | |
@seclink["ch:seclink-example"]{Link to the section "A Quick Example"} | |
The link above links to a section in the same file. | |
Let's make a link to a section included from another file: | |
@seclink["sec:other-file"]{Link to the section tagged in another file.} | |
@include-section{section-in-other-file.rkt} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#lang scribble/manual | |
@(require (for-label racket)) | |
@section[#:tag "sec:other-file"]{This section is in another file} | |
This section is in the file @tt{section-in-other-file.rkt}. | |
We can make a link to same section as before: | |
@seclink["ch:seclink-example"]{Link to the section "A Quick Example"} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment