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