From c50afd054e2582634bb0fad896751f92fe1bb84c Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@ccs.neu.edu>
Date: Tue, 28 Feb 2012 19:40:21 -0500
Subject: [PATCH] Fix contract on filebox to reflect documentation.

original commit: b8d3219b1b8000f367f6660f09e1870a2b857b72
---
 collects/scribble/private/manual-style.rkt |  2 +-
 collects/tests/scribble/docs/filebox.scrbl | 12 ++++++++++++
 collects/tests/scribble/docs/filebox.txt   |  7 +++++++
 3 files changed, 20 insertions(+), 1 deletion(-)
 create mode 100644 collects/tests/scribble/docs/filebox.scrbl
 create mode 100644 collects/tests/scribble/docs/filebox.txt

diff --git a/collects/scribble/private/manual-style.rkt b/collects/scribble/private/manual-style.rkt
index b5a5b945..420a8696 100644
--- a/collects/scribble/private/manual-style.rkt
+++ b/collects/scribble/private/manual-style.rkt
@@ -22,7 +22,7 @@
          itemize
          aux-elem
          code-inset)
-(provide/contract [filebox ((or/c core:element? string?) pre-flow? . -> . block?)])
+(provide/contract [filebox (((or/c core:element? string?)) () #:rest (listof pre-flow?) . ->* . block?)])
 
 (define styling-f/c
   (() () #:rest (listof pre-content?) . ->* . element?))
diff --git a/collects/tests/scribble/docs/filebox.scrbl b/collects/tests/scribble/docs/filebox.scrbl
new file mode 100644
index 00000000..3ab95b5d
--- /dev/null
+++ b/collects/tests/scribble/docs/filebox.scrbl
@@ -0,0 +1,12 @@
+#lang scribble/manual
+
+@; An empty filebox
+@filebox["zero.txt"]
+
+@filebox["one.txt"]{
+A file box with one thing in it.
+}
+
+@filebox["two.txt" 
+(tt "A filebox ")
+(tt "with multiple things in it.")]
diff --git a/collects/tests/scribble/docs/filebox.txt b/collects/tests/scribble/docs/filebox.txt
new file mode 100644
index 00000000..e50efdd5
--- /dev/null
+++ b/collects/tests/scribble/docs/filebox.txt
@@ -0,0 +1,7 @@
+"zero.txt"
+
+"one.txt"
+A file box with one thing in it.
+
+"two.txt"
+A filebox with multiple things in it.