repos-time-stamp -> repo-time-stamp

This commit is contained in:
Eli Barzilay 2010-05-15 16:48:04 -04:00
parent 8a973cde91
commit 3219d28e9d
2 changed files with 2 additions and 2 deletions

View File

@ -2412,7 +2412,7 @@
(define show-memory-text? (define show-memory-text?
(or (with-handlers ([exn:fail:filesystem? (or (with-handlers ([exn:fail:filesystem?
(λ (x) #f)]) (λ (x) #f)])
(directory-exists? (collection-path "repos-time-stamp"))) (directory-exists? (collection-path "repo-time-stamp")))
(with-handlers ([exn:fail:filesystem? (with-handlers ([exn:fail:filesystem?
(λ (x) #f)]) (λ (x) #f)])
(let ([fw (collection-path "framework")]) (let ([fw (collection-path "framework")])

View File

@ -336,7 +336,7 @@ mz-base := "/plt/readme.txt" ; generated
(collects: "scheme" "s-exp" "reader") (collects: "scheme" "s-exp" "reader")
;; include the time-stamp collection when not a public release ;; include the time-stamp collection when not a public release
(cond (not release) (cond (not release)
=> (- (collects: "repos-time-stamp/") => (- (collects: "repo-time-stamp/")
(cond (not dr) => (srcfile: "time-stamp.rkt")))) (cond (not dr) => (srcfile: "time-stamp.rkt"))))
mz-manuals := (scribblings: "main/") ; generates main pages (next line) mz-manuals := (scribblings: "main/") ; generates main pages (next line)
(doc: "license/" "release/" "acks/" "search/" (doc: "license/" "release/" "acks/" "search/"