Well, in that case it can perhaps be deleted from within the zip file, after creation. Alternatively, command line can be used to create the zip. This file is not going to change very often, so either approach would be fine.
Well, in that case it can perhaps be deleted from within the zip file, after creation. Alternatively, command line can be used to create the zip. This file is not going to change very often, so either approach would be fine.