From 434488c28d645801ecb2a0085da42d97676b01ff Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Jan 2008 06:54:17 +0000 Subject: [PATCH] no need for a master-index link, since it is already part of the contents svn: r8474 --- collects/scribblings/user-start/user-start.scrbl | 5 ----- 1 file changed, 5 deletions(-) diff --git a/collects/scribblings/user-start/user-start.scrbl b/collects/scribblings/user-start/user-start.scrbl index e860fbefc2..552e9718e0 100644 --- a/collects/scribblings/user-start/user-start.scrbl +++ b/collects/scribblings/user-start/user-start.scrbl @@ -11,8 +11,3 @@ @other-manual['(lib "scribblings/start/start.scrbl")].} @(build-contents #t) - -@(make-toc-element - #f - null - (list @link["master-index/index.html" #:underline? #f]{master index}))