From 5eb37f8ab6402d85469454144f2009b4c54adb43 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 7 Jun 2007 05:58:45 +0000 Subject: [PATCH] Adding section number to HTML title svn: r6511 original commit: 9a01be2638b4d3ad5d0d3b2ebb5a66d298fa568e --- collects/scribble/html-render.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 57f9caa5..bbdacf7f 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -71,7 +71,7 @@ (content "text-html; charset=utf-8"))) ,@(let ([c (part-title-content d)]) (if c - `((title ,@(render-content c d ht))) + `((title ,@(format-number number '(nbsp)) ,@(render-content c d ht))) null)) (link ((rel "stylesheet") (type "text/css")