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.
2013-07-06 17:40:35 -06:00 · 2013-07-06 17:40:35 -06:00 · 5d58b2d14d
commit 5d58b2d14d
parent 580a6cd24a
1 changed files with 3 additions and 1 deletions
--- 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