From 5f8eedcee0f53ffcb24192eba652b97d248fe15a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 29 Jun 2013 20:11:12 -0500 Subject: [PATCH] move mzlib docs attempt 2: adjust info.rkt files --- pkgs/compatibility-pkgs/compatibility-doc/info.rkt | 9 +++++++++ pkgs/main-distribution/info.rkt | 1 + 2 files changed, 10 insertions(+) create mode 100644 pkgs/compatibility-pkgs/compatibility-doc/info.rkt diff --git a/pkgs/compatibility-pkgs/compatibility-doc/info.rkt b/pkgs/compatibility-pkgs/compatibility-doc/info.rkt new file mode 100644 index 0000000000..aa8607bc08 --- /dev/null +++ b/pkgs/compatibility-pkgs/compatibility-doc/info.rkt @@ -0,0 +1,9 @@ +#lang setup/infotab +(define collection 'multi) +(define deps '("base" + "scribble-lib" + "compatibility-lib" + "pconvert-lib" + "sandbox-lib" + "gui-lib" + "racket-doc")) diff --git a/pkgs/main-distribution/info.rkt b/pkgs/main-distribution/info.rkt index 145ee93bf9..92b011a9f7 100644 --- a/pkgs/main-distribution/info.rkt +++ b/pkgs/main-distribution/info.rkt @@ -5,6 +5,7 @@ (define deps '("algol60" "at-exp-lib" "compatibility-lib" + "compatibility-doc" "contract-profile" "data-lib" "datalog"