From 34fe241f26f0e378f97e06193761e7127a54994d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 25 Nov 2007 19:48:41 +0000 Subject: [PATCH] doc fixes svn: r7832 original commit: 5f312dcbde3ed674c3af3d4d5ded23eb1a93ebc8 --- collects/setup/scribble-index.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/setup/scribble-index.ss b/collects/setup/scribble-index.ss index d780def8..5038e82c 100644 --- a/collects/setup/scribble-index.ss +++ b/collects/setup/scribble-index.ss @@ -65,7 +65,7 @@ (map (lambda (doc) (parameterize ([current-namespace (namespace-anchor->empty-namespace here)]) (with-handlers ([exn:fail? (lambda (exn) exn)]) - (let ([r (with-input-from-file (build-path (doc-dest doc) "xref-out.ss") + (let ([r (with-input-from-file (build-path (doc-dest doc) "out.sxref") read)]) (send renderer deserialize-info (cadr r) ci))))) docs)