diff options
Diffstat (limited to 'bin/doinfo')
-rwxr-xr-x | bin/doinfo | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/bin/doinfo b/bin/doinfo deleted file mode 100755 index 1c9e7cc07..000000000 --- a/bin/doinfo +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash -# Copyright 1999-2007 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Id$ - -if [[ -z $1 ]] ; then - vecho "${0##*/}: at least one argument needed" - exit 1 -fi - -if [[ ! -d ${D}usr/share/info ]] ; then - install -d "${D}usr/share/info" || exit 1 -fi - -install -m0644 "$@" "${D}usr/share/info" -rval=$? -if [ $rval -ne 0 ] ; then - for x in "$@" ; do - [ -e "$x" ] || echo "!!! ${0##*/}: $x does not exist" 1>&2 - done -fi -exit $rval |