wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Remove obsolete bin/generateDocs.sh script"

Browse source
This commit is contained in:
jenkins-bot 2015-04-29 00:00:49 +00:00 committed by Gerrit Code Review
parent 59a638491d 6030043e31
commit c8fd9f36ce
1 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
bin/generateDocs.sh
View file

@ -1,12 +0,0 @@
#!/usr/bin/env bash
#
# DEPRECATED: Use 'npm run-script doc' instead.
#
# This is kept as-is for back-compat with Jenkins jobs.
# Don't forward to 'npm run-script' since Jenkins relies on it
# being a symlink.
#
set -e
cd $(dirname $0)/..
jsduck
ln -s ../lib docs/lib