remove the now-redundant main-doc option

svn: r8288

original commit: fff894d710
This commit is contained in:
Eli Barzilay 2008-01-11 02:29:49 +00:00
parent 596f8380ba
commit 50108948b0

View File

@ -1,3 +1,3 @@
(module info setup/infotab (module info setup/infotab
(define name "Net documentation") (define name "Net documentation")
(define scribblings '(("net.scrbl" (multi-page main-doc))))) (define scribblings '(("net.scrbl" (multi-page)))))