annotate lispintro/missing @ 88237:a98285deef68

(set-rmail-inbox-list): Rewrite to only set inbox list temporarily for a session.
author Henrik Enberg <henrik.enberg@telia.com>
date Fri, 20 Jan 2006 16:27:37 +0000
parents d7ddb3e565de
children 6d19c76d81c5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41429
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 #! /bin/sh
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 # Common stub for a few missing GNU programs while installing.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # Copyright (C) 1996, 1997 Free Software Foundation, Inc.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 # Franc,ois Pinard <pinard@iro.umontreal.ca>, 1996.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 # This program is free software; you can redistribute it and/or modify
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 # it under the terms of the GNU General Public License as published by
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 # the Free Software Foundation; either version 2, or (at your option)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 # any later version.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 # This program is distributed in the hope that it will be useful,
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 # GNU General Public License for more details.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 # You should have received a copy of the GNU General Public License
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 # along with this program; if not, write to the Free Software
88155
d7ddb3e565de sync with trunk
Henrik Enberg <henrik.enberg@telia.com>
parents: 41429
diff changeset
18 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
d7ddb3e565de sync with trunk
Henrik Enberg <henrik.enberg@telia.com>
parents: 41429
diff changeset
19 # MA 02110-1301, USA.
41429
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21 if test $# -eq 0; then
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22 echo 1>&2 "Try \`$0 --help' for more information"
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 exit 1
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 fi
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26 case "$1" in
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28 -h|--h|--he|--hel|--help)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29 echo "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30 $0 [OPTION]... PROGRAM [ARGUMENT]...
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32 Handle \`PROGRAM [ARGUMENT]...' for when PROGRAM is missing, or return an
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33 error status if there is no known handling for PROGRAM.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35 Options:
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
36 -h, --help display this help and exit
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
37 -v, --version output version information and exit
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
38
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
39 Supported PROGRAM values:
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
40 aclocal touch file \`aclocal.m4'
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
41 autoconf touch file \`configure'
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
42 autoheader touch file \`config.h.in'
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
43 automake touch all \`Makefile.in' files
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
44 bison touch file \`y.tab.c'
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
45 makeinfo touch the output file
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
46 yacc touch file \`y.tab.c'"
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
47 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
48
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
49 -v|--v|--ve|--ver|--vers|--versi|--versio|--version)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
50 echo "missing - GNU libit 0.0"
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
51 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
52
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
53 -*)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
54 echo 1>&2 "$0: Unknown \`$1' option"
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
55 echo 1>&2 "Try \`$0 --help' for more information"
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
56 exit 1
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
57 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
58
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
59 aclocal)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
60 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
61 WARNING: \`$1' is missing on your system. You should only need it if
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
62 you modified \`acinclude.m4' or \`configure.in'. You might want
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
63 to install the \`Automake' and \`Perl' packages. Grab them from
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
64 any GNU archive site."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
65 touch aclocal.m4
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
66 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
67
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
68 autoconf)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
69 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
70 WARNING: \`$1' is missing on your system. You should only need it if
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
71 you modified \`configure.in'. You might want to install the
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
72 \`Autoconf' and \`GNU m4' packages. Grab them from any GNU
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
73 archive site."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
74 touch configure
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
75 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
76
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
77 autoheader)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
78 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
79 WARNING: \`$1' is missing on your system. You should only need it if
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
80 you modified \`acconfig.h' or \`configure.in'. You might want
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
81 to install the \`Autoconf' and \`GNU m4' packages. Grab them
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
82 from any GNU archive site."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
83 touch config.h.in
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
84 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
85
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
86 automake)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
87 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
88 WARNING: \`$1' is missing on your system. You should only need it if
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
89 you modified \`Makefile.am', \`acinclude.m4' or \`configure.in'.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
90 You might want to install the \`Automake' and \`Perl' packages.
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
91 Grab them from any GNU archive site."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
92 find . -type f -name Makefile.am -print \
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
93 | sed 's/^\(.*\).am$/touch \1.in/' \
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
94 | sh
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
95 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
96
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
97 bison|yacc)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
98 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
99 WARNING: \`$1' is missing on your system. You should only need it if
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
100 you modified a \`.y' file. You may need the \`Bison' package
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
101 in order for those modifications to take effect. You can get
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
102 \`Bison' from any GNU archive site."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
103 touch y.tab.c
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
104 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
105
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
106 makeinfo)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
107 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
108 WARNING: \`$1' is missing on your system. You should only need it if
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
109 you modified a \`.texi' or \`.texinfo' file, or any other file
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
110 indirectly affecting the aspect of the manual. The spurious
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
111 call might also be the consequence of using a buggy \`make' (AIX,
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
112 DU, IRIX). You might want to install the \`Texinfo' package or
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
113 the \`GNU make' package. Grab either from any GNU archive site."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
114 file=`echo "$*" | sed -n 's/.*-o \([^ ]*\).*/\1/p'`
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
115 if test -z "$file"; then
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
116 file=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
117 file=`sed -n '/^@setfilename/ { s/.* \([^ ]*\) *$/\1/; p; q; }' $file`
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
118 fi
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
119 touch $file
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
120 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
121
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
122 *)
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
123 echo 1>&2 "\
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
124 WARNING: \`$1' is needed, and you do not seem to have it handy on your
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
125 system. You might have modified some files without having the
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
126 proper tools for further handling them. Check the \`README' file,
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
127 it often tells you about the needed prerequirements for installing
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
128 this package. You may also peek at any GNU archive site, in case
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
129 some other package would contain this missing \`$1' program."
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
130 exit 1
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
131 ;;
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
132 esac
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
133
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
134 exit 0