From 8d18d5eceb391918346c27aed68a116dc56dd39d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 14 Jul 2014 14:51:21 +0100 Subject: [PATCH] meta/pkg-build: change summary to include all docs Include documentation that was part of the installer, because a package catalog may want to show documentation links independent of whether the package was included in a distribution. --- pkgs/plt-services/meta/pkg-build/main.rkt | 46 +++++++++++++++++++++-- 1 file changed, 42 insertions(+), 4 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-build/main.rkt b/pkgs/plt-services/meta/pkg-build/main.rkt index 02cda60660..ab4346fbce 100644 --- a/pkgs/plt-services/meta/pkg-build/main.rkt +++ b/pkgs/plt-services/meta/pkg-build/main.rkt @@ -931,6 +931,16 @@ (define doc-pkg-list (sort (set->list doc-pkgs) string