diff --git a/collects/help/installer.ss b/collects/help/installer.ss index 93004b559a..3aa0903645 100644 --- a/collects/help/installer.ss +++ b/collects/help/installer.ss @@ -98,9 +98,11 @@ [`(title ,(? string? title)) (set! title-value title)] [`(a ((name ,(? string? name)) (value ,(? string? value)))) - (add-index-entry! value file name title-value)] + (unless (path? title-value) + (add-index-entry! value file name title-value))] [_ (when (pair? exp) (begin (loop (car exp)) (loop (cdr exp))))])) (loop)))))) servlet-files)))) +