Mercurial > emacs
annotate nt/zipdist.bat @ 110914:ccdc694ce7bd
More cleanups and minor fixes for Customize.
* cus-edit.el (custom-face-edit-fix-value): Use
custom-fix-face-spec.
* custom.el (custom-push-theme): Cleanup (use cond).
(disable-theme): Recompute the saved-face property.
(custom-theme-recalc-face): Follow face alias before setting prop.
* custom.el (custom-fix-face-spec): New function; code moved from
custom-face-edit-fix-value.
(custom-push-theme): Use it when checking if a face has been
changed outside customize.
(custom-available-themes): New function.
(load-theme): Use it.
* image.el (image-checkbox-checked, image-checkbox-unchecked): New
variables, containing checkbox images.
* startup.el (fancy-startup-tail):
* wid-edit.el (checkbox): Use them.
author | Chong Yidong <cyd@stupidchicken.com> |
---|---|
date | Mon, 11 Oct 2010 00:49:59 -0400 |
parents | 17b112f1eaa5 |
children | 6378d1b57038 |
rev | line source |
---|---|
109507
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
1 @echo off |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
2 rem Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
3 rem Free Software Foundation, Inc. |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
4 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
5 rem Author: Christoph Scholtes cschol2112 at gmail.com |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
6 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
7 rem This file is part of GNU Emacs. |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
8 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
9 rem GNU Emacs is free software: you can redistribute it and/or modify |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
10 rem it under the terms of the GNU General Public License as published by |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
11 rem the Free Software Foundation, either version 3 of the License, or |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
12 rem (at your option) any later version. |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
13 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
14 rem GNU Emacs is distributed in the hope that it will be useful, |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
15 rem but WITHOUT ANY WARRANTY; without even the implied warranty of |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
16 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
17 rem GNU General Public License for more details. |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
18 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
19 rem You should have received a copy of the GNU General Public License |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
20 rem along with GNU Emacs. If not, see http://www.gnu.org/licenses/. |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
21 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
22 SETLOCAL |
109518
773951d3ff17
Refactoring of make dist target
Christoph Scholtes <cschol2112@gmail.com>
parents:
109507
diff
changeset
|
23 rem arg 1: Emacs version number |
773951d3ff17
Refactoring of make dist target
Christoph Scholtes <cschol2112@gmail.com>
parents:
109507
diff
changeset
|
24 set EMACS_VER=%1 |
109507
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
25 |
109518
773951d3ff17
Refactoring of make dist target
Christoph Scholtes <cschol2112@gmail.com>
parents:
109507
diff
changeset
|
26 set TMP_DIST_DIR=emacs-%EMACS_VER% |
109507
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
27 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
28 rem Check, if 7zip is installed and available on path |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
29 :ZIP_CHECK |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
30 7z |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
31 if %ERRORLEVEL% NEQ 0 goto :ZIP_ERROR |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
32 goto ZIP_DIST |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
33 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
34 :ZIP_ERROR |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
35 echo. |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
36 echo ERROR: Make sure 7zip is installed and available on the Windows Path! |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
37 goto EXIT |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
38 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
39 rem Build distributions |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
40 :ZIP_DIST |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
41 rem Build and verify full distribution |
109518
773951d3ff17
Refactoring of make dist target
Christoph Scholtes <cschol2112@gmail.com>
parents:
109507
diff
changeset
|
42 7z a -bd -tZIP -mx=9 -x!.bzrignore -x!.gitignore -xr!emacs.mdp -xr!*.pdb -xr!*.opt -xr!*~ -xr!CVS -xr!.arch-inventory emacs-%EMACS_VER%-bin-i386.zip %TMP_DIST_DIR% |
109507
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
43 7z t emacs-%EMACS_VER%-bin-i386.zip |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
44 rem Build and verify binary only distribution |
109519
17b112f1eaa5
Code cleanup. Added ChangeLog entry.
Christoph Scholtes <cschol2112@gmail.com>
parents:
109518
diff
changeset
|
45 7z a -bd -tZIP -mx=9 -x!.bzrignore -x!.gitignore -xr!emacs.mdp -xr!*.pdb -xr!*.opt -xr!*~ -xr!CVS -xr!.arch-inventory emacs-%EMACS_VER%-barebin-i386.zip %TMP_DIST_DIR%/README.W32 %TMP_DIST_DIR%/bin %TMP_DIST_DIR%/etc/DOC-X %TMP_DIST_DIR%/COPYING |
109507
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
46 7z t emacs-%EMACS_VER%-barebin-i386.zip |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
47 goto EXIT |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
48 |
1277fe6717c9
New make target for Windows platform: make dist (bug#6602)
Juanma Barranquero <lekktu@gmail.com>
parents:
diff
changeset
|
49 :EXIT |