fix "etc" vs. "config" in `make install' step

This commit is contained in:
Matthew Flatt 2013-07-20 10:21:53 -06:00
parent aecf0e60b5
commit ddcabcd164

View File

@ -443,7 +443,7 @@
(copytree "collects" 'collects)
(copytree "share" 'sharerkt #:missing 'skip)
(copytree "doc" 'doc #:missing 'skip)
(copytree "config" 'config #:missing 'skip)
(copytree "etc" 'config #:missing 'skip)
(unless origtree? (write-config))))
(define (make-install-destdir-fix)