diff --git a/racket/collects/setup/unixstyle-install.rkt b/racket/collects/setup/unixstyle-install.rkt index 3923dfd88d..dcd0633bc4 100644 --- a/racket/collects/setup/unixstyle-install.rkt +++ b/racket/collects/setup/unixstyle-install.rkt @@ -425,7 +425,7 @@ (do-tree "include" 'includerkt) (do-tree "share" 'sharerkt) (do-tree "etc" 'config) - (do-tree "man" 'man) + (do-tree "man" 'man #:missing 'skip) ; not included for Windows ;; (when (and (not (equal? (dir: 'src) "")) (directory-exists? "src")) ;; (do-tree "src" 'src)) ;; don't use the above -- it would be pointless to put the source tree in