diff --git a/collects/setup/scribble.rkt b/collects/setup/scribble.rkt
index 6bb685c592..3ca3bb241d 100644
--- a/collects/setup/scribble.rkt
+++ b/collects/setup/scribble.rkt
@@ -117,7 +117,7 @@
                                                       (list (directory-record-maj rec)
                                                             (list '= (directory-record-min rec)))))
                                         (cdr spec))))
-                           (build-path dir (car d))
+                           (simplify-path (build-path dir (car d)) #f)
                            (doc-path dir (cadddr d) flags under-main?)
                            flags under-main? (caddr d))))
              s)