From ff9eb3a44c8fa3c24bb72b237dac05e5db4c1b15 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 3 Dec 2020 00:36:24 +0100 Subject: [PATCH] dds.scrbl: Only include utils.scrbl. I will progressively include the other sections as I go. --- scribblings/dds.scrbl | 3 --- 1 file changed, 3 deletions(-) diff --git a/scribblings/dds.scrbl b/scribblings/dds.scrbl index 98182a8..d385b5d 100644 --- a/scribblings/dds.scrbl +++ b/scribblings/dds.scrbl @@ -25,6 +25,3 @@ dds currently includes the following modules: @table-of-contents[] @include-section["utils.scrbl"] -@include-section["functions.scrbl"] -@include-section["networks.scrbl"] -@include-section["rs.scrbl"]