From f68f07ec741d678435ee6f025d57c0599d26690e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 6 Dec 2007 22:24:47 +0000 Subject: [PATCH] fix doc install, especially 'quick' when dir isn't yet there svn: r7908 original commit: 36aaee1b1226014c099327683c7a3296070723f6 --- collects/scribble/base-render.ss | 1 + collects/scribble/manual.ss | 8 +++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/scribble/base-render.ss b/collects/scribble/base-render.ss index d3da4290..9d4589a9 100644 --- a/collects/scribble/base-render.ss +++ b/collects/scribble/base-render.ss @@ -404,6 +404,7 @@ #t (loop))))))))))) (when (file-exists? dest-file) (delete-file dest-file)) + (make-directory* (path-only dest-file)) (copy-file src-file dest-file)) (path->string fn)))) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index 0359209c..a194de58 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -1400,7 +1400,13 @@ (loop (cdr form)))] [else null]))]) (let ([l (clauseses-thunk)]) - (*schemerawgrammars #f (map car l) (map cdr l))))) + (*schemerawgrammars #f + (map (lambda (x) + (make-element #f + (list (hspace 2) + (car x)))) + l) + (map cdr l))))) (define (*var id) (to-element (*var-sym id)))