diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 8ed98d9..10ded3c 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -758,7 +758,7 @@ projects: ref: main location: src workspace_name: subplot - rsync_target: ickliwfi@http.liw.fi:/srv/http/examples.subplot.liw.fi + rsync_target: ickliwfi@http.liw.fi:/srv/http/doc.subplot.liw.fi notify: - liw@liw.fi - dsilvers@digital-scurf.org @@ -959,6 +959,7 @@ pipelines: opts="--resources $(pwd)/src/share" output=/workspace/publish find src -name "*.md" | + grep -Fv .gitlab/ | while read file do base="$(basename "$file" .md)" |