From 5d58b2d14d481ba44582e50c1999cc06f27c6719 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 6 Jul 2013 17:40:35 -0600 Subject: [PATCH] raco setup: fix problem when documentation is not built Support for pre-rendered documentation could get confused when the location of source for already-built documentation changes. --- pkgs/racket-pkgs/racket-index/setup/scribble.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/racket-pkgs/racket-index/setup/scribble.rkt b/pkgs/racket-pkgs/racket-index/setup/scribble.rkt index a693d37a1b..f6a2ad1a8e 100644 --- a/pkgs/racket-pkgs/racket-index/setup/scribble.rkt +++ b/pkgs/racket-pkgs/racket-index/setup/scribble.rkt @@ -824,7 +824,9 @@ stamp-time stamp-data 0 get-compiled-file-sha1))] [up-to-date? - (or (not src-zo) + (or (and (not src-zo) + info-in-time + info-out-time) (and (not force-out-of-date?) info-out-time info-in-time