annotate nt/multi-install-info.bat @ 100735:8ec0632b600c

(proced-grammar-alist): Allow predicate nil. New attribute tree. (proced-format-alist): Use attribute tree. (proced-tree-flag, proced-tree-indent): New variables. (proced-children-alist): Renamed from proced-process-tree. PPID must refer to a process in process-alist. Ignore PPIDs that equal PID. Children alist inherits sorting order from process-alist. (proced-process-tree): New variable. New function. (proced-process-tree-internal, proced-toggle-tree) (proced-tree, proced-tree-insert, proced-format-tree): New functions. (proced-mark-process-alist): Add docstring. (proced-filter-parents): PPID must refer to a process in process-alist. Ignore PPIDs that equal PID. (proced-sort): Throw error if attribute is not sortable. (proced-sort-interactive): Restrict completion to sortable attributes. (proced-format): Include tree in standard attributes if proced-tree-flag is non-nil. Make header clickable only if corresponding predicate is non-nil. (proced-update): Use proced-tree.
author Roland Winkler <Roland.Winkler@physik.uni-erlangen.de>
date Sun, 28 Dec 2008 13:54:41 +0000
parents 188974bfdea0
children aeceb2460b39
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
52426
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
1 @echo off
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
2
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
3 rem Hack to run install-info with multiple info files on the command
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
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
188974bfdea0 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79730
diff changeset
6 rem Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
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
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
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
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
25 rem Usage:
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
26 rem multi-install-info <switch passed to install-info> FILE1 FILE2 ...
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
27 rem
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
28 rem By Peter 'Luna' Runestig <peter@runestig.com> 2003
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
29
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
30 set INSTALL_INFO=install-info
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
31 set II_SWITCH=%1=%2
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
32 rem Eat the install-info switch:
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
33 shift
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
34
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
35 :Loop
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
36 shift
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
37 if .%1% == . goto EndLoop
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
38 %INSTALL_INFO% %II_SWITCH% %1
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
39 goto Loop
5325952d2a21 New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
40 :EndLoop
52428
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52426
diff changeset
41
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52426
diff changeset
42 goto skipArchTag
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52426
diff changeset
43 arch-tag: 4f590862-8ead-497a-a71c-fb4b0e5d50db
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52426
diff changeset
44 :skipArchTag