From df74bf0d30fe36cc96fc0bbf16a93f9f699fdf2f Mon Sep 17 00:00:00 2001 From: Kevin Tew Date: Tue, 6 Jul 2010 16:27:12 -0600 Subject: [PATCH] Parallel docs build original commit: 5bb2e148de87457ebb4790287d3b83b872c91a78 --- collects/scribble/base-render.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/base-render.rkt b/collects/scribble/base-render.rkt index 47682e9b..7de7a0b3 100644 --- a/collects/scribble/base-render.rkt +++ b/collects/scribble/base-render.rkt @@ -207,7 +207,7 @@ ;; marshal info (define/public (get-serialize-version) - 2) + 3) (define/public (serialize-info ri) (parameterize ([current-serialize-resolve-info ri])