From fb40c147a82a8edd175bc9439a999f3bf87bbfef Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Tue, 8 Mar 2016 14:06:10 -0500 Subject: [PATCH] rename highlevel scribbling Because raco pain --- prospect/info.rkt | 2 +- prospect/scribblings/{highlevel.scrbl => highlevelref.scrbl} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename prospect/scribblings/{highlevel.scrbl => highlevelref.scrbl} (100%) diff --git a/prospect/info.rkt b/prospect/info.rkt index dfda668..f87e0ca 100644 --- a/prospect/info.rkt +++ b/prospect/info.rkt @@ -1,2 +1,2 @@ #lang setup/infotab -(define scribblings '(("scribblings/highlevel.scrbl" ()))) \ No newline at end of file +(define scribblings '(("scribblings/highlevelref.scrbl" ()))) \ No newline at end of file diff --git a/prospect/scribblings/highlevel.scrbl b/prospect/scribblings/highlevelref.scrbl similarity index 100% rename from prospect/scribblings/highlevel.scrbl rename to prospect/scribblings/highlevelref.scrbl