From 5c42f46158248130a8179e7a563d16c5fc9d0d35 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 29 Jun 2013 05:34:55 -0600 Subject: [PATCH] fill in some pkg `implies' --- pkgs/draw-pkgs/draw/info.rkt | 2 ++ pkgs/errortrace-pkgs/errortrace/info.rkt | 7 ++++++- pkgs/gui-pkgs/gui/info.rkt | 2 ++ pkgs/html-pkgs/html/info.rkt | 2 ++ pkgs/parser-tools-pkgs/parser-tools/info.rkt | 2 ++ pkgs/pict-pkgs/pict/info.rkt | 2 ++ pkgs/profile-pkgs/profile/info.rkt | 2 ++ pkgs/r5rs-pkgs/r5rs/info.rkt | 2 ++ pkgs/r6rs-pkgs/r6rs/info.rkt | 2 ++ pkgs/readline-pkgs/readline/info.rkt | 2 ++ pkgs/scribble-pkgs/scribble/info.rkt | 2 ++ pkgs/slideshow-pkgs/slideshow-exe/info.rkt | 1 + pkgs/slideshow-pkgs/slideshow/info.rkt | 3 +++ pkgs/srfi-pkgs/srfi/info.rkt | 2 ++ pkgs/syntax-color-pkgs/syntax-color/info.rkt | 2 ++ pkgs/typed-racket-pkgs/typed-racket/info.rkt | 2 ++ pkgs/web-server-pkgs/web-server/info.rkt | 2 ++ pkgs/wxme-pkgs/wxme/info.rkt | 1 + pkgs/xrepl-pkgs/xrepl/info.rkt | 2 ++ 19 files changed, 41 insertions(+), 1 deletion(-) diff --git a/pkgs/draw-pkgs/draw/info.rkt b/pkgs/draw-pkgs/draw/info.rkt index 1246d39a33..e4fda0c749 100644 --- a/pkgs/draw-pkgs/draw/info.rkt +++ b/pkgs/draw-pkgs/draw/info.rkt @@ -4,3 +4,5 @@ (define deps '("draw-lib" "draw-doc")) +(define implies '("draw-lib" + "draw-doc")) diff --git a/pkgs/errortrace-pkgs/errortrace/info.rkt b/pkgs/errortrace-pkgs/errortrace/info.rkt index 2bf713ff2e..0a2325a11f 100644 --- a/pkgs/errortrace-pkgs/errortrace/info.rkt +++ b/pkgs/errortrace-pkgs/errortrace/info.rkt @@ -1,3 +1,8 @@ #lang setup/infotab + (define collection 'multi) -(define deps '("errortrace-lib" "errortrace-doc")) + +(define deps '("errortrace-lib" + "errortrace-doc")) +(define implies '("errortrace-lib" + "errortrace-doc")) diff --git a/pkgs/gui-pkgs/gui/info.rkt b/pkgs/gui-pkgs/gui/info.rkt index e3367747b8..7e4188933d 100644 --- a/pkgs/gui-pkgs/gui/info.rkt +++ b/pkgs/gui-pkgs/gui/info.rkt @@ -4,3 +4,5 @@ (define deps '("gui-lib" "gui-doc")) +(define implies '("gui-lib" + "gui-doc")) diff --git a/pkgs/html-pkgs/html/info.rkt b/pkgs/html-pkgs/html/info.rkt index 5576ec4c49..5ecb77ac2e 100644 --- a/pkgs/html-pkgs/html/info.rkt +++ b/pkgs/html-pkgs/html/info.rkt @@ -4,3 +4,5 @@ (define deps '("html-lib" "html-doc")) +(define implies '("html-lib" + "html-doc")) diff --git a/pkgs/parser-tools-pkgs/parser-tools/info.rkt b/pkgs/parser-tools-pkgs/parser-tools/info.rkt index f91c013871..c4f13cfbba 100644 --- a/pkgs/parser-tools-pkgs/parser-tools/info.rkt +++ b/pkgs/parser-tools-pkgs/parser-tools/info.rkt @@ -4,3 +4,5 @@ (define deps '("parser-tools-lib" "parser-tools-doc")) +(define implies '("parser-tools-lib" + "parser-tools-doc")) diff --git a/pkgs/pict-pkgs/pict/info.rkt b/pkgs/pict-pkgs/pict/info.rkt index aa17082ce5..439f7d23ae 100644 --- a/pkgs/pict-pkgs/pict/info.rkt +++ b/pkgs/pict-pkgs/pict/info.rkt @@ -4,3 +4,5 @@ (define deps '("pict-lib" "pict-doc")) +(define implies '("pict-lib" + "pict-doc")) diff --git a/pkgs/profile-pkgs/profile/info.rkt b/pkgs/profile-pkgs/profile/info.rkt index 96bd309500..2368c19ed1 100644 --- a/pkgs/profile-pkgs/profile/info.rkt +++ b/pkgs/profile-pkgs/profile/info.rkt @@ -4,3 +4,5 @@ (define deps '("profile-lib" "profile-doc")) +(define implies '("profile-lib" + "profile-doc")) diff --git a/pkgs/r5rs-pkgs/r5rs/info.rkt b/pkgs/r5rs-pkgs/r5rs/info.rkt index a5893c9aeb..30eb7157ec 100644 --- a/pkgs/r5rs-pkgs/r5rs/info.rkt +++ b/pkgs/r5rs-pkgs/r5rs/info.rkt @@ -4,3 +4,5 @@ (define deps '("r5rs-lib" "r5rs-doc")) +(define implies '("r5rs-lib" + "r5rs-doc")) diff --git a/pkgs/r6rs-pkgs/r6rs/info.rkt b/pkgs/r6rs-pkgs/r6rs/info.rkt index f9f2ec4014..b67d601686 100644 --- a/pkgs/r6rs-pkgs/r6rs/info.rkt +++ b/pkgs/r6rs-pkgs/r6rs/info.rkt @@ -4,3 +4,5 @@ (define deps '("r6rs-lib" "r6rs-doc")) +(define implies '("r6rs-lib" + "r6rs-doc")) diff --git a/pkgs/readline-pkgs/readline/info.rkt b/pkgs/readline-pkgs/readline/info.rkt index da21fb53b8..bc318ef9bb 100644 --- a/pkgs/readline-pkgs/readline/info.rkt +++ b/pkgs/readline-pkgs/readline/info.rkt @@ -4,3 +4,5 @@ (define deps '("readline-lib" "readline-doc")) +(define implies '("readline-lib" + "readline-doc")) diff --git a/pkgs/scribble-pkgs/scribble/info.rkt b/pkgs/scribble-pkgs/scribble/info.rkt index 9e50d6253e..42abf92116 100644 --- a/pkgs/scribble-pkgs/scribble/info.rkt +++ b/pkgs/scribble-pkgs/scribble/info.rkt @@ -4,3 +4,5 @@ (define deps '("scribble-lib" "scribble-doc")) +(define implies '("scribble-lib" + "scribble-doc")) diff --git a/pkgs/slideshow-pkgs/slideshow-exe/info.rkt b/pkgs/slideshow-pkgs/slideshow-exe/info.rkt index e2cc993cc4..5805b7717c 100644 --- a/pkgs/slideshow-pkgs/slideshow-exe/info.rkt +++ b/pkgs/slideshow-pkgs/slideshow-exe/info.rkt @@ -3,3 +3,4 @@ (define collection 'multi) (define deps '("slideshow-lib")) +(define implies '("slideshow-lib")) diff --git a/pkgs/slideshow-pkgs/slideshow/info.rkt b/pkgs/slideshow-pkgs/slideshow/info.rkt index b0ae64a16a..003a8ace79 100644 --- a/pkgs/slideshow-pkgs/slideshow/info.rkt +++ b/pkgs/slideshow-pkgs/slideshow/info.rkt @@ -5,3 +5,6 @@ (define deps '("slideshow-lib" "slideshow-exe" "slideshow-doc")) +(define implies '("slideshow-lib" + "slideshow-exe" + "slideshow-doc")) diff --git a/pkgs/srfi-pkgs/srfi/info.rkt b/pkgs/srfi-pkgs/srfi/info.rkt index 6c44c2bdd2..d34319a6f2 100644 --- a/pkgs/srfi-pkgs/srfi/info.rkt +++ b/pkgs/srfi-pkgs/srfi/info.rkt @@ -4,3 +4,5 @@ (define deps '("srfi-lib" "srfi-doc")) +(define implies '("srfi-lib" + "srfi-doc")) diff --git a/pkgs/syntax-color-pkgs/syntax-color/info.rkt b/pkgs/syntax-color-pkgs/syntax-color/info.rkt index a1781b3a6a..4c9462c1d9 100644 --- a/pkgs/syntax-color-pkgs/syntax-color/info.rkt +++ b/pkgs/syntax-color-pkgs/syntax-color/info.rkt @@ -4,3 +4,5 @@ (define deps '("syntax-color-lib" "syntax-color-doc")) +(define implies '("syntax-color-lib" + "syntax-color-doc")) diff --git a/pkgs/typed-racket-pkgs/typed-racket/info.rkt b/pkgs/typed-racket-pkgs/typed-racket/info.rkt index 4c2ac0ee94..4d277e8f6b 100644 --- a/pkgs/typed-racket-pkgs/typed-racket/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket/info.rkt @@ -4,3 +4,5 @@ (define deps '("typed-racket-lib" "typed-racket-doc")) +(define implies '("typed-racket-lib" + "typed-racket-doc")) diff --git a/pkgs/web-server-pkgs/web-server/info.rkt b/pkgs/web-server-pkgs/web-server/info.rkt index d7c922dd52..92ccb61c2b 100644 --- a/pkgs/web-server-pkgs/web-server/info.rkt +++ b/pkgs/web-server-pkgs/web-server/info.rkt @@ -4,3 +4,5 @@ (define deps '("web-server-lib" "web-server-doc")) +(define implies '("web-server-lib" + "web-server-doc")) diff --git a/pkgs/wxme-pkgs/wxme/info.rkt b/pkgs/wxme-pkgs/wxme/info.rkt index 96f5bc4c70..219f1ab377 100644 --- a/pkgs/wxme-pkgs/wxme/info.rkt +++ b/pkgs/wxme-pkgs/wxme/info.rkt @@ -4,3 +4,4 @@ (define deps '("wxme-lib" "gui-doc")) +(define implies '("wxme-lib")) diff --git a/pkgs/xrepl-pkgs/xrepl/info.rkt b/pkgs/xrepl-pkgs/xrepl/info.rkt index 9795da4299..1dbd05619c 100644 --- a/pkgs/xrepl-pkgs/xrepl/info.rkt +++ b/pkgs/xrepl-pkgs/xrepl/info.rkt @@ -4,3 +4,5 @@ (define deps '("xrepl-lib" "xrepl-doc")) +(define implies '("xrepl-lib" + "xrepl-doc"))