From 52d0616147592da38a8b2b2966e8802f803a2ea5 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 20 May 2013 18:13:30 -0400 Subject: [PATCH] Comment out writing-drivers.scrbl --- marketplace/scribblings/marketplace.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/marketplace/scribblings/marketplace.scrbl b/marketplace/scribblings/marketplace.scrbl index ba78e7d..12246b1 100644 --- a/marketplace/scribblings/marketplace.scrbl +++ b/marketplace/scribblings/marketplace.scrbl @@ -71,6 +71,6 @@ communicate with other networks, via yet other networks. @include-section["highlevel.scrbl"] @include-section["lowlevel.scrbl"] @include-section["drivers.scrbl"] -@include-section["writing-drivers.scrbl"] +@;@include-section["writing-drivers.scrbl"] @include-section["management-and-monitoring.scrbl"] @include-section["examples.scrbl"]