From 97193c76203c9034b8dba33b6fd3f41971151645 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 6 Sep 2013 14:23:33 -0600 Subject: [PATCH] raco setup: guard a documentation timestamp comparison --- pkgs/racket-pkgs/racket-index/setup/scribble.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-pkgs/racket-index/setup/scribble.rkt b/pkgs/racket-pkgs/racket-index/setup/scribble.rkt index a0f8570102..763cbfb5ed 100644 --- a/pkgs/racket-pkgs/racket-index/setup/scribble.rkt +++ b/pkgs/racket-pkgs/racket-index/setup/scribble.rkt @@ -1024,8 +1024,9 @@ (not out-exists?))) #f ;; Need to write if database is out of sync. A timestamp is good enough, - ;; insteda of sha1s, because a database is never moved across installations. - (provides-time . < . info-out-time) + ;; instead of sha1s, because a database is never moved across installations. + (or (not provides-time) + (provides-time . < . info-out-time)) vers #f #f))))