From 6821892ec34ed8545369ed494f7260e6126d7e91 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Tue, 26 Dec 2023 18:09:54 +0200
Subject: fix libdocs

Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
---
 ci-prod.ick | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci-prod.ick b/ci-prod.ick
index 40c184d..91f799e 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -1084,5 +1084,5 @@ pipelines:
         shell: |
           if [ -e test-outputs/libdocs ]; then
               mkdir -p /workspace/publish/libdocs
-              cp test-outputs/*.html /workspace/publish/libdocs
+              cp test-outputs/libdocs/*.html /workspace/publish/libdocs
           fi
-- 
cgit v1.2.1