create "man1" directory before trying to put a man page there

This commit is contained in:
Matthew Flatt 2013-07-22 14:22:26 -06:00
parent d7d1739d4f
commit 3e53fd3a93

View File

@ -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)))