Correct place to put media.zip in

mkmori · Mar 13, 2019 · 785dc90 · 785dc90
1 parent 5c5cd0d
commit 785dc90
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -30,3 +30,4 @@ dist/*
 !dist/git-pull.php
 !dist/download/release.php
 !dist/books/media.zip
+!dist/learn/books/media.zip
diff --git a/Gruntfile.js b/Gruntfile.js
@@ -287,6 +287,7 @@ module.exports = function(grunt) {
         '!<%= config.dist %>/download/release.php',
         '!<%= config.dist %>/git-pull.php',
         '!<%= config.dist %>/books/media.zip',
+        '!<%= config.dist %>/learn/books/media.zip',
         '<%= config.src %>/offline-reference/**/*.*'
       ]
     },

diff --git a/dist/learn/books/media.zip b/dist/learn/books/media.zip