Skip to content

Commit 785dc90

Browse files
committed
Correct place to put media.zip in
1 parent 5c5cd0d commit 785dc90

File tree

3 files changed

+2
-0
lines changed

3 files changed

+2
-0
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,3 +30,4 @@ dist/*
3030
!dist/git-pull.php
3131
!dist/download/release.php
3232
!dist/books/media.zip
33+
!dist/learn/books/media.zip

Gruntfile.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -287,6 +287,7 @@ module.exports = function(grunt) {
287287
'!<%= config.dist %>/download/release.php',
288288
'!<%= config.dist %>/git-pull.php',
289289
'!<%= config.dist %>/books/media.zip',
290+
'!<%= config.dist %>/learn/books/media.zip',
290291
'<%= config.src %>/offline-reference/**/*.*'
291292
]
292293
},

dist/learn/books/media.zip

711 KB
Binary file not shown.

0 commit comments

Comments
 (0)