From 2828cef1d86de7b162759f6f2062e411973f1090 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 7 Jan 2014 14:38:03 -0700 Subject: [PATCH] scribble: doc repair Closes PR 14219 original commit: 60f5f512e82158bd7a5416257bd43365a3ed5cf0 --- .../scribble-doc/scribblings/scribble/core.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/core.scrbl b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/core.scrbl index f6ac1e04..9e60cfd7 100644 --- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/core.scrbl +++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/core.scrbl @@ -1264,7 +1264,7 @@ Returns the width in characters of the given @tech{content}. Returns the width in characters of the given @tech{block}.} -@defstruct[collect-info ([ht any/c] [ext-ht any/c] +@defstruct[collect-info ([fp any/c] [ht any/c] [ext-ht any/c] [ext-demand (tag? collect-info? . -> . any/c)] [parts any/c] [tags any/c] [gen-prefix any/c] @@ -1278,7 +1278,7 @@ is intended for external use. } -@defstruct[resolve-info ([ci any/c] [delays any/c] [undef any/c])]{ +@defstruct[resolve-info ([ci any/c] [delays any/c] [undef any/c] [searches any/c])]{ Encapsulates information accumulated (or being accumulated) from the @techlink{resolve pass}. The fields are exposed, but not currently