From 9c5d8810ee489de4f00a2513625f9c66ec90bc9e Mon Sep 17 00:00:00 2001 From: Jacob Matthews Date: Mon, 18 Dec 2006 17:46:49 +0000 Subject: [PATCH] Fixed bug with html-docs field (I had put the wrong contract on it) svn: r5136 --- collects/planet/util.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/planet/util.ss b/collects/planet/util.ss index 78953460f8..23ee5f928f 100644 --- a/collects/planet/util.ss +++ b/collects/planet/util.ss @@ -274,7 +274,7 @@ (unless doc.txt (warn "Package's info.ss does not contain a doc.txt entry. Without a doc.txt entry, the package will not have any documentation on planet.plt-scheme.org."))] [html-docs - string? + (lambda (s) (and (list? s) (andmap string? s))) (announce "HTML documentation: yes\n")] [homepage string?