From d2c36210ba4de2a58db796c96a1725ae6de03e06 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 21 Nov 2017 10:08:09 -0800 Subject: [PATCH] Remove `bold` from inside `title` of Guide MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit So that the formatting doesn’t propagate throughout the docs. --- pkgs/racket-doc/scribblings/guide/guide.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/guide/guide.scrbl b/pkgs/racket-doc/scribblings/guide/guide.scrbl index 2f4a09b52a..7f01801d04 100644 --- a/pkgs/racket-doc/scribblings/guide/guide.scrbl +++ b/pkgs/racket-doc/scribblings/guide/guide.scrbl @@ -1,7 +1,7 @@ #lang scribble/manual @(require scribble/eval "guide-utils.rkt") -@title{@bold{The Racket Guide}} +@title{The Racket Guide} @author["Matthew Flatt" "Robert Bruce Findler" "PLT"]