Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/108049
Change subject: mwext-VisualEditor-doc: Fixup path changes from 69ec1bc
......................................................................
mwext-VisualEditor-doc: Fixup path changes from 69ec1bc
It is no longer checked out with a MediaWiki install so the
workspace is the extension directory, not in
workspace/extensions/VisualEditor anymore.
Change-Id: I33c09d997c02b409a0ee1031542b705ad61b8482
---
M mediawiki-extensions.yaml
1 file changed, 4 insertions(+), 4 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/integration/jenkins-job-builder-config
refs/changes/49/108049/1
diff --git a/mediawiki-extensions.yaml b/mediawiki-extensions.yaml
index 4df47c4..351e5b9 100644
--- a/mediawiki-extensions.yaml
+++ b/mediawiki-extensions.yaml
@@ -169,15 +169,15 @@
builders:
- shell: |
# Generate documentation
- $WORKSPACE/extensions/VisualEditor/bin/generateDocs.sh
+ $WORKSPACE/bin/generateDocs.sh
# Set destination and version directory therein
DEST_DIR="/srv/org/wikimedia/doc/VisualEditor"
DEST_VERSIONDIR=`echo "$ZUUL_BRANCH" | tr '/' '-'`
# Ensure the destination exists
mkdir -p $DEST_DIR
# Publish it (trailing slash is important!)
- rsync --recursive --delete-after --force
$WORKSPACE/extensions/VisualEditor/docs/ "$DEST_DIR/$DEST_VERSIONDIR/"
- rsync --recursive --delete-after --force
$WORKSPACE/extensions/VisualEditor/lib/ "$DEST_DIR/$DEST_VERSIONDIR/lib/"
+ rsync --recursive --delete-after --force $WORKSPACE/docs/
"$DEST_DIR/$DEST_VERSIONDIR/"
+ rsync --recursive --delete-after --force $WORKSPACE/lib/
"$DEST_DIR/$DEST_VERSIONDIR/lib/"
# VisualEditor's docgen has a maintenance script, so install mediawiki first
- job-template:
@@ -189,7 +189,7 @@
builders:
- shell: |
export TERM=xterm
- $WORKSPACE/extensions/VisualEditor/bin/generateDocs.sh
+ $WORKSPACE/bin/generateDocs.sh
- job-template:
name: 'mwext-VisualEditor-sync-gerrit' # bug 49846
--
To view, visit https://gerrit.wikimedia.org/r/108049
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I33c09d997c02b409a0ee1031542b705ad61b8482
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
