From 431bcb90559caa092d9e76e160825f87aab22ef7 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 8 Jan 2008 19:58:07 +0000 Subject: [PATCH] remove unecessary title tag and prefix svn: r8264 original commit: b333628a39dec8235a06986d9ab0bef67b2d98d2 --- collects/scribblings/scribble/scribble.scrbl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/scribblings/scribble/scribble.scrbl b/collects/scribblings/scribble/scribble.scrbl index 5bd3cc84..86c8361a 100644 --- a/collects/scribblings/scribble/scribble.scrbl +++ b/collects/scribblings/scribble/scribble.scrbl @@ -3,8 +3,7 @@ @require[scribble/bnf] @require["utils.ss"] -@title[#:tag-prefix '(lib "scribblings/scribble/scribble.scrbl") - #:tag "top"]{@bold{Scribble}: PLT Documentation Tool} +@title{@bold{Scribble}: PLT Documentation Tool} Scribble is a collection of tools for creating prose documents, especially those that document libraries, and especially for HTML and