added planet info to help desk manuals listing and search results

svn: r7318

original commit: 9096231611f24b022876af5c9f740c375911419d
This commit is contained in:
Ryan Culpepper 2007-09-11 15:54:25 +00:00
parent 07b383270f
commit 27b0e2a7c2

View File

@ -68,7 +68,7 @@
(set! doc-names (append
std-doc-names
(map (lambda (s) (format "the ~a collection" s))
(map (lambda (s) (format "the ~a" s))
txt-doc-names)))
(set! doc-kinds (append (map (lambda (x) 'html) std-docs) (map (lambda (x) 'text) txt-docs)))