From 932ef94cb3172fab489b2543a9efa9e613727188 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 26 Oct 2011 06:37:59 -0600 Subject: [PATCH] fix contract --- collects/scribble/render.rkt | 2 +- collects/scribblings/scribble/renderer.scrbl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribble/render.rkt b/collects/scribble/render.rkt index 143101026b..1f8a139f67 100644 --- a/collects/scribble/render.rkt +++ b/collects/scribble/render.rkt @@ -21,7 +21,7 @@ #:redirect (or/c #f string?) #:redirect-main (or/c #f string?) #:xrefs (listof xref?) - #:info-in-files (listof path?) + #:info-in-files (listof path-string?) #:info-out-file (or/c #f path-string?) #:quiet? any/c) . ->* . void?)]) diff --git a/collects/scribblings/scribble/renderer.scrbl b/collects/scribblings/scribble/renderer.scrbl index 56dfb2d17b..23a45d2abd 100644 --- a/collects/scribblings/scribble/renderer.scrbl +++ b/collects/scribblings/scribble/renderer.scrbl @@ -48,7 +48,7 @@ function to render a document. [#:style-extra-files style-extra-files (listof path-string?) #f] [#:extra-files extra-files (listof path-string?) #f] [#:xrefs xrefs (listof xref?) null] - [#:info-in-files info-in-files (listof path?) null] + [#:info-in-files info-in-files (listof path-string?) null] [#:info-out-file info-out-file (or/c #f path-string?) #f] [#:redirect redirect (or/c #f string?) #f] [#:redirect-main redirect-main (or/c #f string?) #f]