From 0416b4a5ff21dc7ceb95e4a5c6384516d46c59d8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 3 May 2013 09:11:55 -0600 Subject: [PATCH] raco setup: allow foreign-lib and man-page installation This change hopefully fills out the things that a distribution can do and that packages should be able to extend. original commit: 03b35cd84689b5e37a1a3b51c0ceeba10c96f281 --- collects/setup/option-sig.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/setup/option-sig.rkt b/collects/setup/option-sig.rkt index d97ad6a660..aa4f6abb4c 100644 --- a/collects/setup/option-sig.rkt +++ b/collects/setup/option-sig.rkt @@ -14,6 +14,7 @@ make-only make-zo make-info-domain + make-foreign-libs make-launchers make-docs make-user