From 6ae6e1eb90fef003e838351e98dc805aace895d8 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Sat, 9 Feb 2019 00:24:56 -0500 Subject: [PATCH] htmls: don't overwrite index.html when rendering multiple html files to a directory `d`, add `d/index.html` to the set of files-to-be-writted to avoid overwriting the main index with a part that happens to have the same tag --- scribble-lib/scribble/html-render.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/scribble-lib/scribble/html-render.rkt b/scribble-lib/scribble/html-render.rkt index 046b8294..4d08ac74 100644 --- a/scribble-lib/scribble/html-render.rkt +++ b/scribble-lib/scribble/html-render.rkt @@ -1937,6 +1937,7 @@ (define/override (start-collect ds fns ci) (parameterize ([current-part-files (make-hash)]) (for-each (lambda (d fn) + (check-duplicate-filename fn) (parameterize ([collecting-sub (if (part-style? d 'non-toc) 1