adjust info.rkt files for new htdp-doc pkg

pkgs/htdp-pkgs/htdp-doc/htdp/info.rkt

@@ -0,0 +1,3 @@
+#lang setup/infotab
+
+(define scribblings '(("htdp.scrbl")))

pkgs/htdp-pkgs/htdp-doc/info.rkt

@@ -0,0 +1,15 @@
+#lang setup/infotab
+
+(define collection 'multi)
+
+(define deps
+  '("base"
+    "scribble-lib"
+    "at-exp-lib"
+    "draw-lib"
+    "gui-lib"
+    "htdp-lib"
+    "sandbox-lib"
+    ))
+(define build-deps '(#;"at-exp-lib"
+                     #;"rackunit-lib"))

pkgs/htdp-pkgs/htdp-doc/stepper/info.rkt

@@ -0,0 +1,4 @@
+#lang setup/infotab
+
+(define scribblings '(("scribblings/stepper.scrbl")))
+

pkgs/htdp-pkgs/htdp-doc/teachpack/info.rkt

@@ -0,0 +1,4 @@
+#lang setup/infotab
+
+(define scribblings '(("teachpack.scrbl" (multi-page) (teaching -13))))
+

pkgs/htdp-pkgs/htdp-doc/test-engine/info.rkt

@@ -0,0 +1,2 @@
+#lang setup/infotab
+(define scribblings '(("test-engine.scrbl" () (tool-library))))

pkgs/htdp-pkgs/htdp-lib/htdp/info.rkt

@@ -5,4 +5,3 @@
   '("hangman-world.rkt" "hangman-world-play.rkt"
     "tests"))
 
-(define scribblings '(("htdp.scrbl")))

pkgs/htdp-pkgs/htdp-lib/info.rkt

@@ -2,23 +2,25 @@
 
 (define collection 'multi)
 
-(define deps '("base"
-               "compatibility-lib"
-               "draw-lib"
-               "errortrace-lib"
-               "gui-lib"
-               "images"
-               "pconvert-lib"
-               "r5rs-lib"
-               "sandbox-lib"
-               "scribble-lib"
-               "slideshow-lib"
-               "snip-lib"
-               "string-constants-lib"
-               "typed-racket-lib"
-               "web-server-lib"
-               "wxme-lib"
-               "drracket"
-               "deinprogramm"))
+(define deps
+  '("base"
+    "compatibility-lib"
+    "draw-lib"
+    "errortrace-lib"
+    "gui-lib"
+    "htdp-doc"
+    "images"
+    "pconvert-lib"
+    "r5rs-lib"
+    "sandbox-lib"
+    "scribble-lib"
+    "slideshow-lib"
+    "snip-lib"    
+    "string-constants-lib"
+    "typed-racket-lib"
+    "web-server-lib"
+    "wxme-lib"
+    "drracket"
+    "deinprogramm"))
 (define build-deps '("at-exp-lib"
                      "rackunit-lib"))

pkgs/htdp-pkgs/htdp-lib/stepper/info.rkt

@@ -6,5 +6,4 @@
 
 (define drracket-tool-icons (list '("stepper-32x32.png" "icons")))
 
-(define scribblings '(("scribblings/stepper.scrbl")))
 (define release-notes (list (list "Stepper" "HISTORY.txt")))

pkgs/htdp-pkgs/htdp-lib/teachpack/info.rkt

@@ -1,4 +1,3 @@
 #lang setup/infotab
 
-(define scribblings '(("teachpack.scrbl" (multi-page) (teaching -13))))
 (define release-notes (list (list "Teachpacks" "HISTORY.txt")))

pkgs/htdp-pkgs/htdp-lib/test-engine/info.rkt

@@ -3,4 +3,3 @@
 (define tools (list (list "test-tool.scm")))
 (define tool-names '("Test Engine"))
 
-(define scribblings '(("test-engine.scrbl" () (tool-library))))

pkgs/htdp-pkgs/htdp/info.rkt

@@ -0,0 +1,6 @@
+#lang setup/infotab
+
+(define collection 'multi)
+
+(define deps '("htdp-lib" "htdp-doc"))
+(define implies '("htdp-lib" "htdp-doc"))