suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix generated HTML name for the getting-started section of the Scribble manual

Browse Source 
svn: r15573

original commit: f777ae61a086b367cbd1877e2f3cf274b30b5650
This commit is contained in:
Matthew Flatt 2009-07-26 03:23:40 +00:00
parent f10501cb03
commit 3b2f37b11a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scribblings/scribble/how-to-paper.scrbl
View File

@ -6,7 +6,7 @@
@(define (sample . text) (nested #:style 'inset (apply verbatim text)))
@(define (result . text) (apply nested #:style 'inset text))
@title[#:tag "how-to-paper"]{Getting Started}
@title[#:tag "getting-started"]{Getting Started}
No matter what you want to do with Scribble, it's best to start by
generating a few simple HTML and/or PDF documents. This chapter steps

2
collects/scribblings/scribble/how-to.scrbl
View File

@ -11,7 +11,7 @@ normally built by @exec{setup-plt}. This chapter emphasizes the
@exec{setup-plt} approach, which more automatically supports links
across documents.
@margin-note{See @secref["how-to-paper"] for information on using the
@margin-note{See @secref["getting-started"] for information on using the
@exec{scribble} command-line utility.}
@;----------------------------------------