diff --git a/collects/algol60/tool.ss b/collects/algol60/tool.ss
index 822bb6a977..19f4244aaa 100644
--- a/collects/algol60/tool.ss
+++ b/collects/algol60/tool.ss
@@ -74,7 +74,9 @@
           (define/public (order-manuals x) 
             (values 
              (list #"drscheme" #"tour" #"help")
-             #f))
+	     ;; We allow doc.txt search results, because the Algol60
+	     ;; docs are in doc.txt:
+             #t))
           (define/public (get-language-name) "Algol 60")
           (define/public (get-language-url) #f)
           (define/public (get-language-numbers) (list 1000 10))