diff options
Diffstat (limited to 'ci-prod.ick')
| -rw-r--r-- | ci-prod.ick | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 7090ca4..955b1e4 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -844,7 +844,6 @@ pipelines: if subplot $opts metadata --merciful "$base.subplot" | awk '/^title:/ && NF > 1' | grep . then subplot $opts docgen --merciful "$base.subplot" -o "$output/$base.html" - # subplot $opts docgen "$base.subplot" -o "$output/$base.pdf" fi ) done @@ -1082,7 +1081,7 @@ pipelines: actions: - where: container shell: | - if [ -e test-outputs ]; then - mkdir -p /workspace/publish - cp test-outputs/*.html /workspace/publish + if [ -e test-outputs/libdocs ]; then + mkdir -p /workspace/publish/libdocs + cp test-outputs/*.html /workspace/publish/libdocs fi |