Move scribblings/honu' to honu/scribblings'.

Also, use `user-doc' since it's not distributed, yet.
2011-09-21 16:10:48 -04:00 · 2011-09-21 16:10:48 -04:00 · 81e0f3f3d7
commit 81e0f3f3d7
parent 5024b690ca
3 changed files with 3 additions and 3 deletions
--- a/collects/honu/scribblings/honu.scrbl
+++ b/collects/honu/scribblings/honu.scrbl
--- a/collects/honu/scribblings/info.rkt
+++ b/collects/honu/scribblings/info.rkt
@ -0,0 +1,3 @@
+#lang setup/infotab
+
+(define scribblings '(("honu.scrbl" (multi-page user-doc) (experimental 40))))
--- a/collects/scribblings/honu/info.rkt
+++ b/collects/scribblings/honu/info.rkt
@ -1,3 +0,0 @@
-#lang setup/infotab
-
-(define scribblings '(("honu.scrbl" (multi-page) (experimental 40))))