From 9f57ba92f14569bb2f4e6773cda7b80241bf1114 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 23 Nov 2009 17:43:15 +0000 Subject: [PATCH] minor details in futures docs svn: r16997 --- collects/scribblings/futures/futures.scrbl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/scribblings/futures/futures.scrbl b/collects/scribblings/futures/futures.scrbl index 81698ffccd..90fe2c08c9 100644 --- a/collects/scribblings/futures/futures.scrbl +++ b/collects/scribblings/futures/futures.scrbl @@ -7,16 +7,16 @@ @(require scribble/manual scribble/urls scribble/struct - scheme/class (for-label scheme/base - scheme/gui/base - scheme/class - scheme/contract)) + scheme/contract + '#%futures)) @; ---------------------------------------------------------------------- -PLT's future support is only enabled if you pass @tt{--enable-futures} to @tt{configure} when -you build PLT (and that build currently only works with @tt{mzscheme}, not with @tt{mred}). +PLT's future support is only enabled if you pass +@DFlag{enable-futures} to @exec{configure} when you build PLT (and that +build currently only works with @exec{mzscheme}, not with +@exec{mred}). @defmodule['#%futures]{}