From 3fd94648db63cbb6487e0797e59e8509495e3562 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 10 Apr 2001 15:12:11 +0000 Subject: [PATCH] ... original commit: 8a9d9a1b41e39af9b03ee54598d71af88a872373 --- collects/help/private/search.ss | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index be104349..60288f6d 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -3,6 +3,7 @@ (require (lib "unitsig.ss") "sig.ss" "../help-sig.ss" + "docpos.ss" (lib "list.ss")) (provide search@) @@ -11,12 +12,6 @@ (unit/sig search^ (import help:doc-position^) - ; Define an order for the documentation: - ; and the names of the standard documentation - (define-values (standard-html-doc-position known-manuals) - (let ([pr (require-library "docpos.ss" "help")]) - (values (car pr) (cdr pr)))) - (define (html-doc-position x) (or (user-defined-doc-position x) (standard-html-doc-position x))) @@ -41,7 +36,7 @@ ; gets the standard title of the documentation, from the ; known docs list. (define (get-std-doc-title path doc) - (let ([a (assoc doc known-manuals)]) + (let ([a (assoc doc known-docs)]) (if a (cdr a) (let ([index-file (build-path path doc "index.htm")])