fix contract

original commit: 932ef94cb3172fab489b2543a9efa9e613727188
This commit is contained in:
Matthew Flatt 2011-10-26 06:37:59 -06:00
parent 5218126773
commit 0ffb9f2b48
2 changed files with 2 additions and 2 deletions

View File

@ -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?)])

View File

@ -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]