no more master index
This commit is contained in:
parent
ab4e349e06
commit
cd01c7138d
|
@ -20,8 +20,6 @@
|
|||
(acks "Acknowledgements" plt "acks/index.html")
|
||||
(release "Release Notes" plt "release/index.html")
|
||||
---
|
||||
(index "Master Index" user "master-index/index.html")
|
||||
---
|
||||
(bugreport "Report a Bug" #f ,(format "~a?v=~a" bug-url (version)))))
|
||||
|
||||
;; Section definitions for manuals that appear on the start page.
|
||||
|
|
|
@ -4,7 +4,6 @@
|
|||
'(("start.scrbl"
|
||||
(main-doc-root always-run depends-all-main no-depend-on) (omit))
|
||||
("search.scrbl" (depends-all-main no-depend-on) (omit))
|
||||
("master-index.scrbl" (depends-all-main no-depend-on) (omit))
|
||||
("getting-started.scrbl" () (omit))
|
||||
("license.scrbl" () (omit))
|
||||
("acks.scrbl" () (omit))
|
||||
|
|
|
@ -1,8 +0,0 @@
|
|||
#lang scribble/doc
|
||||
@(require scribble/basic
|
||||
scribble/decode
|
||||
"private/utils.ss")
|
||||
|
||||
@main-page['index #t]
|
||||
|
||||
@(index-block)
|
|
@ -2,5 +2,4 @@
|
|||
|
||||
(define scribblings
|
||||
'(("start.scrbl" (user-doc-root always-run depends-all no-depend-on) (omit))
|
||||
("search.scrbl" (user-doc depends-all no-depend-on) (omit))
|
||||
("master-index.scrbl" (user-doc depends-all no-depend-on) (omit))))
|
||||
("search.scrbl" (user-doc depends-all no-depend-on) (omit))))
|
||||
|
|
|
@ -1,8 +0,0 @@
|
|||
#lang scribble/doc
|
||||
@(require scribble/basic
|
||||
scribble/decode
|
||||
"../private/utils.ss")
|
||||
|
||||
@main-page['index #f]
|
||||
|
||||
@(index-block)
|
Loading…
Reference in New Issue
Block a user