use scribble/manual for easier PDF rendering

2011-01-07 09:47:13 -07:00 · 2011-01-07 09:47:13 -07:00 · 551a43d759
commit 551a43d759
parent 7852408f8a
1 changed files with 1 additions and 1 deletions
--- 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