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]