Mercurial > emacs
annotate nt/multi-install-info.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 | 1d1d5d9bd884 |
children | 376148b31b5e |
rev | line source |
---|---|
52426 | 1 @echo off |
2 | |
3 rem Hack to run install-info with multiple info files on the command | |
4 rem line on the Windows platform. | |
94795
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
5 |
106815 | 6 rem Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 |
94795
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
7 rem Free Software Foundation, Inc. |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
8 |
52426 | 9 rem This file is part of GNU Emacs. |
94795
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
10 |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
11 rem GNU Emacs is free software: you can redistribute it and/or modify |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
12 rem it under the terms of the GNU General Public License as published by |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
13 rem the Free Software Foundation, either version 3 of the License, or |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
14 rem (at your option) any later version. |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
15 |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
16 rem GNU Emacs is distributed in the hope that it will be useful, |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
17 rem but WITHOUT ANY WARRANTY; without even the implied warranty of |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
18 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
19 rem GNU General Public License for more details. |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
20 |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
21 rem You should have received a copy of the GNU General Public License |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
22 rem along with GNU Emacs. If not, see http://www.gnu.org/licenses/. |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
23 |
188974bfdea0
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79730
diff
changeset
|
24 |
52426 | 25 rem Usage: |
26 rem multi-install-info <switch passed to install-info> FILE1 FILE2 ... | |
27 rem | |
28 rem By Peter 'Luna' Runestig <peter@runestig.com> 2003 | |
29 | |
30 set INSTALL_INFO=install-info | |
31 set II_SWITCH=%1=%2 | |
32 rem Eat the install-info switch: | |
33 shift | |
34 | |
35 :Loop | |
36 shift | |
37 if .%1% == . goto EndLoop | |
38 %INSTALL_INFO% %II_SWITCH% %1 | |
39 goto Loop | |
40 :EndLoop | |
52428 | 41 |
42 goto skipArchTag | |
43 arch-tag: 4f590862-8ead-497a-a71c-fb4b0e5d50db | |
44 :skipArchTag |