wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 15:36:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Ignore docs folder in all grunt tasks

Browse source 
Change-Id: I9938114502189ed5cd472f4782d2974d5a182283
This commit is contained in:
Moriel Schottlender 2016-05-16 13:59:43 -07:00
parent 0c688e349a
commit ea89b7d431
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
Gruntfile.js
View file

@ -16,13 +16,15 @@ module.exports = function ( grunt ) {
},
all: [
'**/*.js',
'!node_modules/**'
'!node_modules/**',
'!docs/**'
]
},
jscs: {
src: [
'<%= jshint.all %>',
'!tests/externals/**'
'!tests/externals/**',
'!docs/**'
]
},
banana: {
@ -39,7 +41,8 @@ module.exports = function ( grunt ) {
jsonlint: {
all: [
'**/*.json',
'!node_modules/**'
'!node_modules/**',
'!docs/**'
]
}
} );