From 7f032c045a35501138963cc719c2cf0946c3a0e2 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"]