annotate doc/lispintro/missing @ 86155:39b88001b04b

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