diff --git a/collects/scribblings/main/info.rkt b/collects/scribblings/main/info.rkt index e6d3c16420..fd177418dd 100644 --- a/collects/scribblings/main/info.rkt +++ b/collects/scribblings/main/info.rkt @@ -2,7 +2,7 @@ (define scribblings '(("start.scrbl" - (main-doc-root always-run depends-all-main no-depend-on) (omit)) + (main-doc-root depends-all-main no-depend-on) (omit)) ("search.scrbl" (depends-all-main no-depend-on) (omit)) ("getting-started.scrbl" () (omit)) ("license.scrbl" () (omit)) diff --git a/collects/scribblings/main/user/info.rkt b/collects/scribblings/main/user/info.rkt index 777b604ff9..e03a2acb40 100644 --- a/collects/scribblings/main/user/info.rkt +++ b/collects/scribblings/main/user/info.rkt @@ -1,5 +1,5 @@ #lang setup/infotab (define scribblings - '(("start.scrbl" (user-doc-root always-run depends-all no-depend-on) (omit)) + '(("start.scrbl" (user-doc-root depends-all no-depend-on) (omit)) ("search.scrbl" (user-doc depends-all no-depend-on) (omit))))