From cba5bb7729c51a2cbbe2c3f1cbd580df1181fb71 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 22 Jul 2013 21:14:50 -0600 Subject: [PATCH] distro-build: allow missing "man" directory (for Windows) --- racket/collects/setup/unixstyle-install.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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