| Line 1... |
Line 1... |
| 1 |
#! /bin/sh
|
1 |
#! /bin/sh
|
| 2 |
# Common stub for a few missing GNU programs while installing.
|
2 |
# Common stub for a few missing GNU programs while installing.
|
| 3 |
# Copyright (C) 1996, 1997, 1999, 2000, 2002 Free Software Foundation, Inc.
|
3 |
# Copyright (C) 1996, 1997, 1999, 2000, 2002, 2003 Free Software Foundation, Inc.
|
| 4 |
# Originally by Fran,cois Pinard <pinard@iro.umontreal.ca>, 1996.
|
4 |
# Originally by Fran,cois Pinard <pinard@iro.umontreal.ca>, 1996.
|
| 5 |
|
5 |
|
| 6 |
# This program is free software; you can redistribute it and/or modify
|
6 |
# This program is free software; you can redistribute it and/or modify
|
| 7 |
# it under the terms of the GNU General Public License as published by
|
7 |
# it under the terms of the GNU General Public License as published by
|
| 8 |
# the Free Software Foundation; either version 2, or (at your option)
|
8 |
# the Free Software Foundation; either version 2, or (at your option)
|
| Line 163... |
Line 163... |
| 163 |
|
163 |
|
| 164 |
echo 1>&2 "\
|
164 |
echo 1>&2 "\
|
| 165 |
WARNING: \`$1' is needed, and you do not seem to have it handy on your
|
165 |
WARNING: \`$1' is needed, and you do not seem to have it handy on your
|
| 166 |
system. You might have modified some files without having the
|
166 |
system. You might have modified some files without having the
|
| 167 |
proper tools for further handling them.
|
167 |
proper tools for further handling them.
|
| 168 |
You can get \`$1Help2man' as part of \`Autoconf' from any GNU
|
168 |
You can get \`$1' as part of \`Autoconf' from any GNU
|
| 169 |
archive site."
|
169 |
archive site."
|
| 170 |
|
170 |
|
| 171 |
file=`echo "$*" | sed -n 's/.*--output[ =]*\([^ ]*\).*/\1/p'`
|
171 |
file=`echo "$*" | sed -n 's/.*--output[ =]*\([^ ]*\).*/\1/p'`
|
| 172 |
test -z "$file" && file=`echo "$*" | sed -n 's/.*-o[ ]*\([^ ]*\).*/\1/p'`
|
172 |
test -z "$file" && file=`echo "$*" | sed -n 's/.*-o[ ]*\([^ ]*\).*/\1/p'`
|
| 173 |
if test -f "$file"; then
|
173 |
if test -f "$file"; then
|