From b9f2a8708b75360cb3583ccac62ab79286827573 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 9 Jul 2014 09:54:07 +0100 Subject: [PATCH] meta/pkg-build: avoid losing docs due to transient errors When assembling documentation, preserve any documentation previously built for a package whose build currently fails. --- pkgs/plt-services/meta/pkg-build/main.rkt | 34 +++++++++++++++++++++-- 1 file changed, 31 insertions(+), 3 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-build/main.rkt b/pkgs/plt-services/meta/pkg-build/main.rkt index b78fa7af08..02cda60660 100644 --- a/pkgs/plt-services/meta/pkg-build/main.rkt +++ b/pkgs/plt-services/meta/pkg-build/main.rkt @@ -988,6 +988,24 @@ (define no-conflict-doc-pkg-list (sort (set->list no-conflict-doc-pkgs) string