diff --git a/collects/setup/unixstyle-install.rkt b/collects/setup/unixstyle-install.rkt index e21c049b13..d7f119fb1e 100644 --- a/collects/setup/unixstyle-install.rkt +++ b/collects/setup/unixstyle-install.rkt @@ -49,16 +49,16 @@ (define (level-of dir) (let ([dir (string->symbol (basename dir))]) (case dir - [(bin) #f] - [(collects) 1] - [(doc) 1] - [(include) 1] + [(bin) #f] + [(collects) 1] + [(doc) 1] + [(include) 1] ;; if shared libraries are used, then these files should be moved ;; independently, as if they had a level of #f - [(lib) 1] - [(man) #f] - [(src) 1] - [(README) #f] ; moved last + [(lib) 1] + [(man) #f] + [(src) 1] + [(readme.txt) #f] ; moved last [else (error 'level-of "internal-error -- unknown dir: ~e" dir)]))) (define (make-path . args) ; like build-path but returns a string