diff --git a/collects/string-constants/info.ss b/collects/string-constants/info.ss index efc577c062..97e99793ea 100644 --- a/collects/string-constants/info.ss +++ b/collects/string-constants/info.ss @@ -1,3 +1,3 @@ #lang setup/infotab -(define scribblings '(("string-constant.scrbl"))) +(define scribblings '(("string-constants.scrbl"))) diff --git a/collects/string-constants/string-constant.scrbl b/collects/string-constants/string-constants.scrbl similarity index 100% rename from collects/string-constants/string-constant.scrbl rename to collects/string-constants/string-constants.scrbl