annotate lispintro/missing @ 47000:005cc008b551

(redisplay_window): Do not `goto try_to_scroll' when we end up on a partially visible line; this reverts a specific part of the 2002-07-07 change by Richard M. Stallman to "fix" a nasty display error which has been reported several times now. However it introduces the problem that changes was supposed to fix. See my comments in the source if you want to debug this further.
author Kim F. Storm <storm@cua.dk>
date Thu, 22 Aug 2002 16:52:56 +0000
parents 75e2a0dcadcd
children e055d02d8b97
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
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
19 # 02111-1307, USA.
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