distro-build: allow missing "man" directory (for Windows)

This commit is contained in:
Matthew Flatt 2013-07-22 21:14:50 -06:00
parent 7d1e0d4332
commit cba5bb7729

View File

@ -425,7 +425,7 @@
(do-tree "include" 'includerkt) (do-tree "include" 'includerkt)
(do-tree "share" 'sharerkt) (do-tree "share" 'sharerkt)
(do-tree "etc" 'config) (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")) ;; (when (and (not (equal? (dir: 'src) "")) (directory-exists? "src"))
;; (do-tree "src" 'src)) ;; (do-tree "src" 'src))
;; don't use the above -- it would be pointless to put the source tree in ;; don't use the above -- it would be pointless to put the source tree in