diff --git a/collects/setup/xref.ss b/collects/setup/xref.ss index 63e32e85b4..0189aad951 100644 --- a/collects/setup/xref.ss +++ b/collects/setup/xref.ss @@ -35,7 +35,7 @@ (pair? (path->main-collects-relative dir))) (build-path (find-doc-dir) name)] [else - (build-path dir "compiled" "doc" name)]) + (build-path dir "doc" name)]) "out.sxref")))) scribblings categories)))