Merge remote-tracking branch 'origin/master' into core-updates

This commit is contained in:
Efraim Flashner 2017-03-16 13:11:28 +02:00
commit 4cacd87e4d
No known key found for this signature in database
GPG key ID: F4C1D3917EACEE93
18 changed files with 326 additions and 75 deletions

View file

@ -908,9 +908,7 @@ commands and their arguments.")
(man8 (string-append man "/man8")))
(define (copy-man-page target)
(lambda (file)
(copy-file file
(string-append target "/"
(basename file)))))
(install-file file target)))
(mkdir-p man5) (mkdir man8)
(for-each (copy-man-page man5)