From 8155554b35f20281eddd8c4fb849bf88f3e0a9a9 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 19 Feb 2008 09:30:54 +0000 Subject: [PATCH] PR 9211 svn: r8719 --- collects/scribblings/reference/encodings.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/reference/encodings.scrbl b/collects/scribblings/reference/encodings.scrbl index b0c1a1e0d4..ac66c12302 100644 --- a/collects/scribblings/reference/encodings.scrbl +++ b/collects/scribblings/reference/encodings.scrbl @@ -1,5 +1,6 @@ #lang scribble/doc -@require["mz.ss"] +@require["mz.ss" + (for-label scheme/port)] @title[#:tag "encodings"]{Encodings and Locales}