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