Merge pull request #195 from bennn/htmls-index

htmls: don't overwrite index.html
2019-02-16 13:15:02 -08:00 · 2019-02-16 13:15:02 -08:00 · 1a97657e17
commit 1a97657e17
parent 5f44d7dd55 6ae6e1eb90
1 changed files with 1 additions and 0 deletions
--- 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