From 3b2f37b11a70ff13417aa6021eb4757816f9d5e5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 26 Jul 2009 03:23:40 +0000 Subject: [PATCH] fix generated HTML name for the getting-started section of the Scribble manual svn: r15573 original commit: f777ae61a086b367cbd1877e2f3cf274b30b5650 --- collects/scribblings/scribble/how-to-paper.scrbl | 2 +- collects/scribblings/scribble/how-to.scrbl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/scribble/how-to-paper.scrbl b/collects/scribblings/scribble/how-to-paper.scrbl index 36401b70..fdeb4ad9 100644 --- a/collects/scribblings/scribble/how-to-paper.scrbl +++ b/collects/scribblings/scribble/how-to-paper.scrbl @@ -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 diff --git a/collects/scribblings/scribble/how-to.scrbl b/collects/scribblings/scribble/how-to.scrbl index 170c19b8..16667302 100644 --- a/collects/scribblings/scribble/how-to.scrbl +++ b/collects/scribblings/scribble/how-to.scrbl @@ -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.} @;----------------------------------------