diff --git a/collects/scribblings/framework/info.ss b/collects/scribblings/framework/info.ss new file mode 100644 index 00000000..a2a5d610 --- /dev/null +++ b/collects/scribblings/framework/info.ss @@ -0,0 +1,3 @@ +(module info setup/infotab + (define name "Scribblings: Framework") + (define scribblings '(("framework.scrbl" (#;multi-page main-doc)))))