Rename manual → dds.

2020-11-29 17:15:24 +01:00 · 2020-11-29 17:15:24 +01:00 · 8487b64287
parent 596e1b7b5d
commit 8487b64287
2 changed files with 1 additions and 1 deletions
--- 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))))
--- a/scribblings/manual.scrbl
+++ b/scribblings/manual.scrbl