From e9f2c2a78d53aa3b76fe2efe3e1274ebe73efada Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sun, 26 Aug 2007 15:25:40 +0000 Subject: [PATCH] The installer no longer outputs any # into hdindex. svn: r7181 --- collects/help/installer.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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)))) +