From 3e53fd3a93f5a56e37ca61f2f2791d1d00031ce0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 22 Jul 2013 14:22:26 -0600 Subject: [PATCH] create "man1" directory before trying to put a man page there --- racket/collects/setup/setup-unit.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/racket/collects/setup/setup-unit.rkt b/racket/collects/setup/setup-unit.rkt index 0a1f8b9c8c..dde9676908 100644 --- a/racket/collects/setup/setup-unit.rkt +++ b/racket/collects/setup/setup-unit.rkt @@ -1464,6 +1464,8 @@ #t) (unless already? (delete-directory/files dest #:must-exist? #f) + (let-values ([(base name dir?) (split-path dest)]) + (when (path? base) (make-directory* base))) (if (file-exists? src) (copy-file src dest) (copy-directory/files src dest)))