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