From 3f08da67a4080a9cb02d547f05704a8a21f9c570 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 24 Nov 2012 05:39:22 -0700 Subject: [PATCH] remove 'always-run style from the doc that list documents The 'depends-all style and dependency tracking should run the document when needed, I think. --- collects/scribblings/main/info.rkt | 2 +- collects/scribblings/main/user/info.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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))))