From 3539fa8716a61d2c54f093a7d26a180cb2f208ad Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 15 Sep 2015 08:53:05 -0700 Subject: [PATCH] delete server.scrbl --- scribblings/pollen.scrbl | 2 -- scribblings/server.scrbl | 12 ------------ 2 files changed, 14 deletions(-) delete mode 100644 scribblings/server.scrbl diff --git a/scribblings/pollen.scrbl b/scribblings/pollen.scrbl index c3270ab..be6b666 100644 --- a/scribblings/pollen.scrbl +++ b/scribblings/pollen.scrbl @@ -63,8 +63,6 @@ Or, if you can find a better digital-publishing tool, use that. But I'm never go @include-section["command.scrbl"] -@;include-section["server.scrbl"] - @include-section["module-reference.scrbl"] @include-section["more-help.scrbl"] diff --git a/scribblings/server.scrbl b/scribblings/server.scrbl deleted file mode 100644 index 4762482..0000000 --- a/scribblings/server.scrbl +++ /dev/null @@ -1,12 +0,0 @@ -#lang scribble/manual - -@(require scribble/eval pollen/render pollen/world (for-label racket pollen/world)) - -@(define my-eval (make-base-eval)) -@(my-eval `(require pollen pollen/file)) - - -@title{The project server} - - -