From 81e0f3f3d739588b02dc0a24bd62eb4e20a1d005 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 21 Sep 2011 16:10:48 -0400 Subject: [PATCH] Move `scribblings/honu' to `honu/scribblings'. Also, use `user-doc' since it's not distributed, yet. --- collects/{scribblings/honu => honu/scribblings}/honu.scrbl | 0 collects/honu/scribblings/info.rkt | 3 +++ collects/scribblings/honu/info.rkt | 3 --- 3 files changed, 3 insertions(+), 3 deletions(-) rename collects/{scribblings/honu => honu/scribblings}/honu.scrbl (100%) create mode 100644 collects/honu/scribblings/info.rkt delete mode 100644 collects/scribblings/honu/info.rkt diff --git a/collects/scribblings/honu/honu.scrbl b/collects/honu/scribblings/honu.scrbl similarity index 100% rename from collects/scribblings/honu/honu.scrbl rename to collects/honu/scribblings/honu.scrbl diff --git a/collects/honu/scribblings/info.rkt b/collects/honu/scribblings/info.rkt new file mode 100644 index 0000000000..8eb8d66498 --- /dev/null +++ b/collects/honu/scribblings/info.rkt @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define scribblings '(("honu.scrbl" (multi-page user-doc) (experimental 40)))) diff --git a/collects/scribblings/honu/info.rkt b/collects/scribblings/honu/info.rkt deleted file mode 100644 index 328edf4286..0000000000 --- a/collects/scribblings/honu/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang setup/infotab - -(define scribblings '(("honu.scrbl" (multi-page) (experimental 40))))