From 45394bb7b6b35af7151a691631b3984a386a531f Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sat, 16 Jul 2011 01:22:19 -0400
Subject: [PATCH] Use (banner) instead of a fixed "Welcome to Racket" in the
 More tutorial and in the guide.

Also, add a tag to the readline "License Issues" to be able to link to
it from the xrepl docs.
---
 collects/readline/readline.scrbl         | 2 +-
 collects/scribblings/guide/running.scrbl | 2 +-
 collects/scribblings/more/more.scrbl     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/readline/readline.scrbl b/collects/readline/readline.scrbl
index f61731bc89..ba836d00f6 100644
--- a/collects/readline/readline.scrbl
+++ b/collects/readline/readline.scrbl
@@ -241,7 +241,7 @@ from @racketmodname[ffi/unsafe], determines the type of value supplied
 to the @racket[proc].}
 
 
-@section{License Issues}
+@section[#:tag "readline-license"]{License Issues}
 
 GNU's @|readline| library is covered by the GPL, and that applies to
 code that links with it.  Racket is licensed with the LGPL, so the
diff --git a/collects/scribblings/guide/running.scrbl b/collects/scribblings/guide/running.scrbl
index e2b8985c57..081e8b446a 100644
--- a/collects/scribblings/guide/running.scrbl
+++ b/collects/scribblings/guide/running.scrbl
@@ -34,7 +34,7 @@ confguration options, like @Flag{j}), then it starts a @tech{REPL}
 with a @litchar{> } prompt:
 
 @verbatim[#:indent 2]{
-  Welcome to Racket
+  @(regexp-replace #rx"\n+$" (banner) "")
   > 
 }
 
diff --git a/collects/scribblings/more/more.scrbl b/collects/scribblings/more/more.scrbl
index 52ed6fccec..ce9df39e19 100644
--- a/collects/scribblings/more/more.scrbl
+++ b/collects/scribblings/more/more.scrbl
@@ -75,7 +75,7 @@ start @exec{racket} with no command-line arguments:
 
 @verbatim[#:indent 2]{
   $ racket
-  Welcome to Racket
+  @(regexp-replace #rx"\n+$" (banner) "")
   > 
 }