From 551a43d75901f4ff5132f0969d766ff12a09d444 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 7 Jan 2011 09:47:13 -0700 Subject: [PATCH] use scribble/manual for easier PDF rendering --- collects/scribblings/reference/reference.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/reference.scrbl b/collects/scribblings/reference/reference.scrbl index b5b1a67b65..42880b257d 100644 --- a/collects/scribblings/reference/reference.scrbl +++ b/collects/scribblings/reference/reference.scrbl @@ -1,4 +1,4 @@ -#lang scribble/doc +#lang scribble/manual @(require "mz.ss" scribble/core scribble/html-properties