From e82c60a0e1a89925022402ffe52d07f1e3005a79 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 31 Oct 2019 14:06:14 -0400 Subject: [PATCH] Use racketvalfont to avoid LaTeX problem. Error reported by @rfindler. --- pkgs/racket-doc/scribblings/guide/quote.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/guide/quote.scrbl b/pkgs/racket-doc/scribblings/guide/quote.scrbl index 54ae9f7080..885cda9104 100644 --- a/pkgs/racket-doc/scribblings/guide/quote.scrbl +++ b/pkgs/racket-doc/scribblings/guide/quote.scrbl @@ -1,7 +1,7 @@ #lang scribble/doc @(require scribble/manual scribble/eval "guide-utils.rkt") -@title[#:tag "quote"]{Quoting: @racket[quote] and @litchar{'}} +@title[#:tag "quote"]{Quoting: @racket[quote] and @racketvalfont{'}} @refalso["quote"]{@racket[quote]}