From 0ffb9f2b480ed320bc1fcbf62f59136b7cf15c3d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 26 Oct 2011 06:37:59 -0600 Subject: [PATCH] fix contract original commit: 932ef94cb3172fab489b2543a9efa9e613727188 --- 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 14310102..1f8a139f 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 56dfb2d1..23a45d2a 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]