From 8487b642875559f146866be993cf174ff50d8c3b Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 29 Nov 2020 17:15:24 +0100 Subject: [PATCH] =?UTF-8?q?Rename=20manual=20=E2=86=92=20dds.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- info.rkt | 2 +- scribblings/{manual.scrbl => dds.scrbl} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename scribblings/{manual.scrbl => dds.scrbl} (100%) diff --git a/info.rkt b/info.rkt index 5dd8978..9f8db17 100644 --- a/info.rkt +++ b/info.rkt @@ -3,4 +3,4 @@ (define deps '("base" "graph-lib" "rackunit-lib")) -(define scribblings '(("scribblings/manual.scrbl" (multi-page)))) +(define scribblings '(("scribblings/dds.scrbl" (multi-page)))) diff --git a/scribblings/manual.scrbl b/scribblings/dds.scrbl similarity index 100% rename from scribblings/manual.scrbl rename to scribblings/dds.scrbl