From 6ae6e1eb90fef003e838351e98dc805aace895d8 Mon Sep 17 00:00:00 2001
From: Ben Greenman <benjaminlgreenman@gmail.com>
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